main page modules namespaces classes files
Gecode home

search for 

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

enum Gecode::REG::Exp::ExpType

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 418 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

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

Definition at line 47 of file reg.cc.

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

Definition at line 48 of file reg.cc.

ExpType Gecode::REG::Exp::type

Definition at line 58 of file reg.cc.

int Gecode::REG::Exp::symbol

Definition at line 60 of file reg.cc.

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

Definition at line 61 of file reg.cc.

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

---

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

• gecode/int/regular/reg.cc (Revision: 3512)