Generated on Thu Mar 22 10:39:54 2012 for Gecode by doxygen 1.6.3

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.


Public Member Functions

MiniModel::PosSetfollowpos (MiniModel::PosSetAllocator &, MiniModel::PosInfo *)
void inc (void)
void dec (void)
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.
int _n_pos
 Number of positions.
ExpType type
 Type of regular expression.
union {
   int   symbol
   Exp *   kids [2]
 Symbol or subexpressions.

Detailed Description

Implementation of the actual expression tree.

Definition at line 56 of file reg.cpp.

Member Enumeration Documentation

Type of regular expression.


Definition at line 65 of file reg.cpp.

Member Function Documentation

MiniModel::PosSet * Gecode::REG::Exp::followpos ( MiniModel::PosSetAllocator psm,
MiniModel::PosInfo pi 
) [inline]

Definition at line 485 of file reg.cpp.

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

Definition at line 134 of file reg.cpp.

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

Definition at line 139 of file reg.cpp.

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

Definition at line 146 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 105 of file reg.cpp.

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

Definition at line 109 of file reg.cpp.

Member Data Documentation

Reference counter.

Definition at line 59 of file reg.cpp.

Number of positions.

Definition at line 61 of file reg.cpp.

Type of regular expression.

Definition at line 72 of file reg.cpp.


Definition at line 76 of file reg.cpp.


Definition at line 78 of file reg.cpp.

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

Symbol or subexpressions.

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