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 63 of file projectors.hh.


Construction and initialization
	SetExprCode (void)
	Default constructor.
	SetExprCode (const Stream &s)
	Construct from code Stream.
	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 (Space *home, bool share, SetExprCode &sc)
	Copying.
int	size (void) const
	Return number of instructions.
int	operator[] (int i) const
	Return instruction at position i.
Classes
class	Stream
	To incrementally build up the instructions. More...

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