Generated on Mon Sep 17 2012 22:20:54 for Gecode by doxygen 1.8.1.1
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

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
 Symbol.
   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

Type of regular expression.

Enumerator:
ET_SYMBOL 
ET_CONC 
ET_OR 
ET_STAR 

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

Print expression.

Definition at line 42 of file reg.hpp.

void * Gecode::REG::Exp::operator new ( size_t  s)
inlinestatic

Definition at line 105 of file reg.cpp.

void Gecode::REG::Exp::operator delete ( void *  )
inlinestatic

Definition at line 109 of file reg.cpp.


Member Data Documentation

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

Reference counter.

Definition at line 59 of file reg.cpp.

int Gecode::REG::Exp::_n_pos

Number of positions.

Definition at line 61 of file reg.cpp.

ExpType Gecode::REG::Exp::type

Type of regular expression.

Definition at line 72 of file reg.cpp.

int Gecode::REG::Exp::symbol

Symbol.

Definition at line 76 of file reg.cpp.

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

Subexpressions.

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: