Generated on Thu Jul 6 07:06:59 2006 for Gecode by doxygen 1.4.7

Gecode::REG::Exp Class Reference

List of all members.

Detailed Description

Implementation of the actual expression tree.

Definition at line 45 of file reg.cc.

Public Types

 ET_SYMBOL
 ET_CONC
 ET_OR
 ET_STAR
enum  ExpType { ET_SYMBOL, ET_CONC, ET_OR, ET_STAR }
 Type of regular expression. More...

Public Member Functions

void followpos (Int::Regular::PosSetAllocator &, Int::Regular::NodeInfo &, Int::Regular::PosInfo *, int &)
void inc (void)
void dec (void)
unsigned int n_pos (void) const
std::ostream & print (std::ostream &) const

Static Public Member Functions

static void * operator new (size_t)
static void operator delete (void *)

Public Attributes

unsigned int use_cnt
unsigned int _n_pos
ExpType type
union {
   int   symbol
   Exp *   kids [2]
data


Member Enumeration Documentation

Type of regular expression.

Enumerator:
ET_SYMBOL 
ET_CONC 
ET_OR 
ET_STAR 

Definition at line 52 of file reg.cc.


Member Function Documentation

void Gecode::REG::Exp::followpos ( Int::Regular::PosSetAllocator ,
Int::Regular::NodeInfo ,
Int::Regular::PosInfo ,
int &   
)

Definition at line 417 of file reg.cc.

void Gecode::REG::Exp::inc ( void   )  [inline]

Definition at line 116 of file reg.cc.

void Gecode::REG::Exp::dec ( void   )  [inline]

Definition at line 121 of file reg.cc.

unsigned int Gecode::REG::Exp::n_pos ( void   )  const [inline]

Definition at line 128 of file reg.cc.

std::ostream & Gecode::REG::Exp::print ( std::ostream &   )  const

Definition at line 133 of file reg.cc.

void * Gecode::REG::Exp::operator new ( size_t   )  [inline, static]

Definition at line 87 of file reg.cc.

void Gecode::REG::Exp::operator delete ( void *   )  [inline, static]

Definition at line 91 of file reg.cc.


Member Data Documentation

Definition at line 47 of file reg.cc.

Definition at line 48 of file reg.cc.

Definition at line 58 of file reg.cc.

Definition at line 60 of file reg.cc.

Definition at line 61 of file reg.cc.

union { ... } Gecode::REG::Exp::data


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