Gecode::Projector Class Reference

#include <projectors.hh>

Detailed Description

Finite set projector specification.

Definition at line 187 of file projectors.hh.


Public Member Functions
	Projector (void)
	Default constructor.
	Projector (SetExpr::var_idx x, const SetExpr &sglb, const SetExpr &slub)
	Construct a projector $(\mathrm{sglb}\subseteq x\subseteq\mathrm{slub})$ .
void	scope (Support::DynamicArray< int > &scope) const
	Returns the scope of the projector.
int	arity (void) const
	Returns the arity of the projector.
template<bool negated>
ExecStatus	propagate (Space *home, ViewArray< Set::SetView > &x)
	Propagate the projector.
ExecStatus	check (Space *home, ViewArray< Set::SetView > &x)
	Check for subsumption or failure.
unsigned int	glbSize (ViewArray< Set::SetView > &x)
	Compute size of greatest lower bound.
unsigned int	lubSize (ViewArray< Set::SetView > &x)
	Compute size of least upper bound.
const SetExprCode &	getGlb (void) const
	Return the set expression code for the glb.
const SetExprCode &	getLub (void) const
	Return the set expression code for the lub.
SetExpr::var_idx	getIdx (void) const
	Return the variable index for this projector.

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