main page modules namespaces classes files
Gecode home

search for 

Projector constraints
[Using finite integer sets]

Collaboration diagram for Projector constraints:

Classes
class	Gecode::SetExprCode
	Code representing set-valued expressions for finite set projectors. More...
class	Gecode::SetExpr
	Set-valued expressions for finite set projectors. More...
class	Gecode::Projector
	Finite set projector specification. More...
class	Gecode::ProjectorSet
	Group of finite set projector specifications. More...
Specifying finite set projectors
SetExpr	Gecode::operator- (const SetExpr &s)
	Return set expression for the complement of s.
SetExpr	Gecode::operator|| (const SetExpr &s, const SetExpr &t)
	Return set expression for the union of s and t.
SetExpr	Gecode::operator && (const SetExpr &, const SetExpr &)
	Return set expression for the intersection of s and t.
SetExpr	Gecode::operator- (const SetExpr &, const SetExpr &)
	Return set expression for the difference of s and t.
Posting projection propagators
void	Gecode::projector (Space *home, const SetVar &xa, const SetVar &ya, ProjectorSet &ps, bool negated=false)
	Post projection propagators for binary constraint.
void	Gecode::projector (Space *home, const SetVar &xa, const SetVar &ya, const BoolVar &bv, ProjectorSet &ps)
	Post reified projection propagators for binary constraint.
void	Gecode::projector (Space *home, const SetVar &xa, const SetVar &ya, const SetVar &za, ProjectorSet &ps, bool negated=false)
	Post projection propagators for ternary constraint.
void	Gecode::projector (Space *home, const SetVar &xa, const SetVar &ya, const SetVar &za, const BoolVar &bv, ProjectorSet &ps)
	Post reified projection propagators for ternary constraint.
void	Gecode::projector (Space *home, const SetVar &xa, const SetVar &ya, const IntVar &i, Projector &p)
	Post projection propagator for cardinality constraint.
void	Gecode::projector (Space *home, const SetVar &xa, const SetVar &ya, const SetVar &za, const IntVar &i, Projector &p)
	Post projection propagator for cardinality constraint.

---

Function Documentation

SetExpr Gecode::operator- (  const SetExpr &  s  )  [inline]

Return set expression for the complement of s. Definition at line 62 of file set-expr.icc.

SetExpr Gecode::operator|| (  const SetExpr &  s, const SetExpr &  t )  [inline]

Return set expression for the union of s and t. Definition at line 65 of file set-expr.icc.

SetExpr Gecode::operator && (  const SetExpr &  s, const SetExpr &  t )  [inline]

Return set expression for the intersection of s and t. Definition at line 70 of file set-expr.icc.

SetExpr Gecode::operator- (  const SetExpr &  s, const SetExpr &  t )  [inline]

Return set expression for the difference of s and t. Definition at line 75 of file set-expr.icc.

void Gecode::projector (  Space *  home, const SetVar &  xa, const SetVar &  ya, ProjectorSet &  ps, bool  negated = false )

Post projection propagators for binary constraint. Post projection propagators for binary constraint on variables xa and ya, specified by ps. If negated is true, the negation of the specified constraint is propagated. Definition at line 28 of file projectors.cc.

void Gecode::projector (  Space *  home, const SetVar &  xa, const SetVar &  ya, const BoolVar &  bv, ProjectorSet &  ps )

Post reified projection propagators for binary constraint. Post projection propagators for binary constraint on variables xa and ya, specified by ps, reified with bv. Definition at line 45 of file projectors.cc.

void Gecode::projector (  Space *  home, const SetVar &  xa, const SetVar &  ya, const SetVar &  za, ProjectorSet &  ps, bool  negated = false )

Post projection propagators for ternary constraint. Post projection propagators for ternary constraint on variables xa, ya and za, specified by ps. If negated is true, the negation of the specified constraint is propagated. Definition at line 56 of file projectors.cc.

void Gecode::projector (  Space *  home, const SetVar &  xa, const SetVar &  ya, const SetVar &  za, const BoolVar &  bv, ProjectorSet &  ps )

Post reified projection propagators for ternary constraint. Post projection propagators for ternary constraint on variables xa, ya and za, specified by ps, reified with bv. Definition at line 74 of file projectors.cc.

void Gecode::projector (  Space *  home, const SetVar &  xa, const SetVar &  ya, const IntVar &  i, Projector &  p )

Post projection propagator for cardinality constraint. Post propagator for the constraint that i is the cardinality of the set represented by p, interpreted over the variables xa and ya. Definition at line 86 of file projectors.cc.

void Gecode::projector (  Space *  home, const SetVar &  xa, const SetVar &  ya, const SetVar &  za, const IntVar &  i, Projector &  p )

Post projection propagator for cardinality constraint. Post propagator for the constraint that i is the cardinality of the set represented by p, interpreted over the variables xa, ya, and za. Definition at line 96 of file projectors.cc.