Implementation of the actual expression tree. More...
Public Types | |
enum | ExpType { ET_SYMBOL , ET_CONC , ET_OR , ET_STAR } |
Type of regular expression. More... | |
Public Member Functions | |
MiniModel::PosSet * | followpos (MiniModel::PosSetAllocator &, MiniModel::PosInfo *) |
Compute the follow positions. | |
void | toString (std::ostringstream &os) const |
Print expression to os. | |
std::string | toString (void) const |
Print expression. | |
Static Public Member Functions | |
static void | inc (Exp *e) |
Increment use counter of e. | |
static void | dec (Exp *e) |
Decrement use counter of e. | |
static int | n_pos (Exp *e) |
Return number of positions of e. | |
static void * | operator new (size_t) |
static void | operator delete (void *) |
Public Attributes | ||
unsigned int | use_cnt | |
Reference counter. | ||
int | _n_pos | |
Number of positions. | ||
ExpType | type | |
Type of regular expression. | ||
union { | ||
int symbol | ||
Symbol. More... | ||
Exp * kids [2] | ||
Subexpressions. More... | ||
} | data | |
Symbol or subexpressions. | ||
|
inline |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
void Gecode::REG::Exp::toString | ( | std::ostringstream & | os | ) | const |
std::string Gecode::REG::Exp::toString | ( | void | ) | const |
|
inlinestatic |
|
inlinestatic |
union { ... } Gecode::REG::Exp::data |
Symbol or subexpressions.