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::PosSet *	followpos (MiniModel::PosSetAllocator &, MiniModel::PosInfo *)
	Compute the follow positions.
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	inc (Exp *e)
	Increment use counter of e.
static void	dec (Exp *e)
	Decrement use counter of e.
static int	n_pos (Exp *e)
	Return number of positions of e.
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

enum Gecode::REG::Exp::ExpType

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]

Compute the follow positions.

Definition at line 490 of file reg.cpp.

void Gecode::REG::Exp::inc

(

Exp *

e

)

[inline, static]

Increment use counter of e.

Definition at line 139 of file reg.cpp.

void Gecode::REG::Exp::dec

(

Exp *

e

)

[inline, static]

Decrement use counter of e.

Definition at line 144 of file reg.cpp.

int Gecode::REG::Exp::n_pos

(

Exp *

e

)

[inline, static]

Return number of positions of e.

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

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

(

void *

)

[inline, static]

Definition at line 114 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:

• gecode/minimodel/reg.cpp (Revision: 14236)
• gecode/minimodel/reg.hpp (Revision: 7995)