Gecode::SetExprCode Class Reference
[Projector constraints]
#include <projectors.hh>
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
Instructions for set-valued expression code.
- Enumerator:
Definition at line 53 of file projectors.hh.
Constructor & Destructor Documentation
Gecode::SetExprCode::SetExprCode | ( | void | ) | [inline] |
Gecode::SetExprCode::SetExprCode | ( | const SetExprCode & | sc | ) | [inline] |
Member Function Documentation
void Gecode::SetExprCode::update | ( | bool | share, | |
SetExprCode & | sc | |||
) | [inline] |
void Gecode::SetExprCode::add | ( | int | i | ) | [inline] |
int Gecode::SetExprCode::size | ( | void | ) | const [inline] |
int Gecode::SetExprCode::operator[] | ( | int | i | ) | const [inline] |
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)