tree_instance< MATCH_LABEL_T, order > Class Template Reference

tree_instance class represents one tree_instance in a transaction More...

#include <tree_instance.h>

List of all members.

Public Types
typedef MATCH_LABEL_T< int >	ML
typedef tree_instance< MATCH_LABEL_T, order >	TREE_INSTANCE
Public Member Functions
	tree_instance (const int &lx, const int &ux, const int &d=0, bool ind=0)
	tree_instance (ML &ml, const int &lx, const int &ux, const int &d=0, bool ind=0)
	tree_instance (const TREE_INSTANCE &i2, const int &lx, const int &d=0, bool ind=0)
const int &	lower () const
const int &	upper () const
bool	less_than (const TREE_INSTANCE &i2) const
bool	contains (const TREE_INSTANCE &i2) const
bool	match_label (const ML &ml2) const
bool	child_test (const TREE_INSTANCE &i2) const
int	depth_diff (const TREE_INSTANCE &i2) const
bool	induced () const
const int &	depth () const
int	get_lb () const
int	get_ub () const
int	get_depth () const
ML::const_iterator	get_ml_begin () const
ML::const_iterator	get_ml_end () const
int	get_ml_size () const
Friends
bool	cousin_test (const TREE_INSTANCE &, const TREE_INSTANCE &)
ostream &	operator<< (ostream &, const TREE_INSTANCE &)

---

Detailed Description

template<template< typename > class MATCH_LABEL_T, class order>
class tree_instance< MATCH_LABEL_T, order >

tree_instance class represents one tree_instance in a transaction

This class is part of tree VAT. A instance of this class represents exactly one tree instance in a transaction. It takes two template arguments. MATCH_LABEL_T denotes the data structure that is used to make up the tree match label. Usually a vector of int is used. order denotes a class that determine whether the tree is ordered/unordered.

---

Member Function Documentation

template<template< typename > class MATCH_LABEL_T, class order>

bool tree_instance< MATCH_LABEL_T, order >::child_test

(

const TREE_INSTANCE &

i2

)

const [inline]

Returns true if child test holds on *this and i2

template<template< typename > class MATCH_LABEL_T, class order>

bool tree_instance< MATCH_LABEL_T, order >::contains

(

const TREE_INSTANCE &

i2

)

const [inline]

Returns true if scope of *this contains that of i2

template<template< typename > class MATCH_LABEL_T, class order>

int tree_instance< MATCH_LABEL_T, order >::depth_diff

(

const TREE_INSTANCE &

i2

)

const [inline]

Returns true if depth difference trees makes them induced

template<template< typename > class MATCH_LABEL_T, class order>

bool tree_instance< MATCH_LABEL_T, order >::less_than

(

const TREE_INSTANCE &

i2

)

const [inline]

Returns true if scope of *this is strictly less than that of i2

template<template< typename > class MATCH_LABEL_T, class order>

bool tree_instance< MATCH_LABEL_T, order >::match_label

(

const ML &

ml2

)

const [inline]

Returns true if this->ml is equal to ml2

---

The documentation for this class was generated from the following file:

• tree_instance.h

---