Generated on Mon Jul 6 18:09:30 2009 for Gecode by doxygen 1.5.9
Gecode::REG::Exp

Gecode::REG::Exp Class Reference

Implementation of the actual expression tree. More...

List of all members.

Public Types

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

Public Member Functions

void followpos (MiniModel::PosSetAllocator &, MiniModel::NodeInfo &, MiniModel::PosInfo *, int &)
void inc (void)
void dec (void)
unsigned int n_pos (void) const
template<class Char , class Traits >
std::basic_ostream< Char,
Traits > & 		print (std::basic_ostream< Char, Traits > &os) const
 Print expression.

Static Public Member Functions

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

Public Attributes

unsigned int use_cnt
 Reference counter.
unsigned int _n_pos
ExpType type
 Type of regular expression.
union {
   int   symbol
 Symbole.
   Exp *   kids [2]
 Subexpressions.
} data
 Symbol or subexpressions.

Detailed Description

Implementation of the actual expression tree.

Definition at line 56 of file reg.cpp.

Member Enumeration Documentation

enum Gecode::REG::Exp::ExpType

Type of regular expression.

Enumerator:
ET_SYMBOL 
ET_CONC 
ET_OR 
ET_STAR 

Definition at line 64 of file reg.cpp.

Member Function Documentation

void Gecode::REG::Exp::followpos ( MiniModel::PosSetAllocator &  psm,
MiniModel::NodeInfo &  ni,
MiniModel::PosInfo *  pi,
int &  p 
)

Definition at line 473 of file reg.cpp.

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

Definition at line 135 of file reg.cpp.

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

Definition at line 140 of file reg.cpp.

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

Definition at line 147 of file reg.cpp.

template<class Char , class Traits >
std::basic_ostream< Char, Traits > & Gecode::REG::Exp::print ( std::basic_ostream< Char, Traits > &  os  )  const [inline]

Print expression.

Definition at line 42 of file reg.hpp.

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

Definition at line 106 of file reg.cpp.

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

Definition at line 110 of file reg.cpp.

Member Data Documentation

unsigned int Gecode::REG::Exp::use_cnt

Reference counter.

Definition at line 59 of file reg.cpp.

unsigned int Gecode::REG::Exp::_n_pos

Definition at line 60 of file reg.cpp.

ExpType Gecode::REG::Exp::type

Type of regular expression.

Definition at line 71 of file reg.cpp.

int Gecode::REG::Exp::symbol

Symbole.

Definition at line 75 of file reg.cpp.

Exp* Gecode::REG::Exp::kids[2]

Subexpressions.

Definition at line 77 of file reg.cpp.

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

Symbol or subexpressions.

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