#include <tree_vat.h>
Public Types | |
typedef pattern_support< V_Fkk_IND_MINE_PROP > | PAT_SUP |
typedef vat< TREE_PROP, V_Fkk_IND_MINE_PROP, ALLOC, VAT_ST > | VAT |
typedef tree_instance< std::vector, PP > | INSTANCE |
typedef VAT_ST< pair< int, VAT_ST< INSTANCE, ALLOC< INSTANCE > > >, ALLOC< pair< int, VAT_ST< INSTANCE, ALLOC< INSTANCE > > > > > | IDLIST_T |
typedef IDLIST_T::const_iterator | CONST_IT |
typedef IDLIST_T::iterator | IT |
typedef VAT_ST< INSTANCE, ALLOC< INSTANCE > >::const_iterator | CONST_INST_IT |
typedef VAT_ST< INSTANCE, ALLOC< INSTANCE > > | INSTANCES |
typedef VAT_ST< INSTANCE, ALLOC< INSTANCE > >::iterator | INST_IT |
typedef std::vector< int >::const_iterator | CONST_STORE_IT |
typedef std::vector< int >::iterator | STORE_IT |
Public Member Functions | |
IT | begin () |
CONST_IT | begin () const |
IT | end () |
CONST_IT | end () const |
bool | empty () const |
int | size () |
void | push_back (const pair< int, VAT_ST< INSTANCE, ALLOC< INSTANCE > > > &val) |
unsigned long int | byte_size () const |
void | write_file (ostream &output) |
void | read_file (istream &input, unsigned long int size) |
Static Public Member Functions | |
template<class PAT> | |
static VAT ** | intersection (const VAT *const &v1, const VAT *const &v2, PAT_SUP **cand_sups, PAT **, bool is_l2) |
Friends | |
ostream & | operator<< (ostream &, const VAT *) |
Classes | |
class | ST |
In this partial specialization, PP is fixed to directed, acyclic, indegree_lte_one (Tree property), MP is fixed to Fk X Fk, vert_mine, induced (Vertical mining with Fk X Fk for induced patterns), ST is the VAT storage type.
static VAT** vat< TREE_PROP, V_Fkk_IND_MINE_PROP, ALLOC, VAT_ST >::intersection | ( | const VAT *const & | v1, | |
const VAT *const & | v2, | |||
PAT_SUP ** | cand_sups, | |||
PAT ** | , | |||
bool | is_l2 | |||
) | [inline, static] |
Main VAT intersection function, returns constructed VATs; also populates the pattern_support arguments passed
void vat< TREE_PROP, V_Fkk_IND_MINE_PROP, ALLOC, VAT_ST >::push_back | ( | const pair< int, VAT_ST< INSTANCE, ALLOC< INSTANCE > > > & | val | ) | [inline] |
Appends new entry into vat