main page modules namespaces classes files
Gecode home

search for 

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