Gecode::REG::Exp Class Reference

List of all members.

---

Detailed Description

Implementation of the actual expression tree.

Definition at line 56 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 (MiniModel::PosSetAllocator &, MiniModel::NodeInfo &, MiniModel::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 63 of file reg.cc.

---

Member Function Documentation

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

Definition at line 503 of file reg.cc.

void Gecode::REG::Exp::inc

(

void

)

[inline]

Definition at line 127 of file reg.cc.

void Gecode::REG::Exp::dec

(

void

)

[inline]

Definition at line 132 of file reg.cc.

unsigned int Gecode::REG::Exp::n_pos

(

void

)

const [inline]

Definition at line 139 of file reg.cc.

std::ostream & Gecode::REG::Exp::print

(

std::ostream &

os

)

const

Definition at line 144 of file reg.cc.

void * Gecode::REG::Exp::operator new

(

size_t

s

)

[inline, static]

Definition at line 98 of file reg.cc.

void Gecode::REG::Exp::operator delete

(

void *

)

[inline, static]

Definition at line 102 of file reg.cc.

---

Member Data Documentation

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

Definition at line 58 of file reg.cc.

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

Definition at line 59 of file reg.cc.

ExpType Gecode::REG::Exp::type

Definition at line 69 of file reg.cc.

int Gecode::REG::Exp::symbol

Definition at line 71 of file reg.cc.

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

Definition at line 72 of file reg.cc.

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

---

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

• gecode/minimodel/reg.cc (Revision: 6102)