main page modules namespaces classes files
Gecode home

Gecode::SetExprCode Class Reference
[Projector constraints]

#include <projectors.hh>

List of all members.

---

Detailed Description

Code representing set-valued expressions for finite set projectors.

Set-valued expressions are represented using a simple stack-based language.

Definition at line 45 of file projectors.hh.

Construction and initialization
	SetExprCode (void)
	Default constructor.
	SetExprCode (const SetExprCode &sc)
	Copy constructor.
Public Types
	COMPLEMENT
	Complement.
	INTER
	Intersection.
	UNION
	Union.
	GLB
	Greatest lower bound.
	LUB
	Least upper bound.
	EMPTY
	Constant empty set.
	UNIVERSE
	Constant universal set.
	LAST
	First integer to use for immediate arguments.
enum	Instruction {   COMPLEMENT, INTER, UNION, GLB,   LUB, EMPTY, UNIVERSE, LAST }
	Instructions for set-valued expression code. More...
Public Member Functions
void	update (bool share, SetExprCode &sc)
	Copying.
void	add (int i)
	Add instruction i to the end of the current code.
int	size (void) const
	Return number of instructions.
int	operator[] (int i) const
	Return instruction at position i.

---

Member Enumeration Documentation

enum Gecode::SetExprCode::Instruction

Instructions for set-valued expression code.

Enumerator:

COMPLEMENT	Complement.
INTER	Intersection.
UNION	Union.
GLB	Greatest lower bound.
LUB	Least upper bound.
EMPTY	Constant empty set.
UNIVERSE	Constant universal set.
LAST	First integer to use for immediate arguments.

Definition at line 53 of file projectors.hh.

---

Constructor & Destructor Documentation

Gecode::SetExprCode::SetExprCode

(

void

)

[inline]

Default constructor.

Definition at line 30 of file set-expr.icc.

Gecode::SetExprCode::SetExprCode

(

const SetExprCode &

sc

)

[inline]

Copy constructor.

Definition at line 33 of file set-expr.icc.

---

Member Function Documentation

void Gecode::SetExprCode::update	(	bool	share,
		SetExprCode &	sc
	)			[inline]

Copying.

Definition at line 36 of file set-expr.icc.

void Gecode::SetExprCode::add

(

int

i

)

[inline]

Add instruction i to the end of the current code.

Definition at line 41 of file set-expr.icc.

int Gecode::SetExprCode::size

(

void

)

const [inline]

Return number of instructions.

Definition at line 48 of file set-expr.icc.

int Gecode::SetExprCode::operator[]

(

int

i

)

const [inline]

Return instruction at position i.

Definition at line 51 of file set-expr.icc.

---

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

• gecode/set/projectors.hh (Revision: 3573)
• gecode/set/projectors/set-expr.icc (Revision: 3548)