
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. More... | |
| void | toString (std::ostringstream &os) const |
| Print expression to os. More... | |
| std::string | toString (void) const |
| Print expression. More... | |
Static Public Member Functions | |
| static void | inc (Exp *e) |
| Increment use counter of e. More... | |
| static void | dec (Exp *e) |
| Decrement use counter of e. More... | |
| static int | n_pos (Exp *e) |
| Return number of positions of e. More... | |
| static void * | operator new (size_t) |
| static void | operator delete (void *) |
Public Attributes | |
| unsigned int | use_cnt |
| Reference counter. More... | |
| int | _n_pos |
| Number of positions. More... | |
| ExpType | type |
| Type of regular expression. More... | |
| union { | |
| int symbol | |
| Symbol. More... | |
| Exp * kids [2] | |
| Subexpressions. More... | |
| } | data |
| Symbol or subexpressions. More... | |
|
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.