main page modules namespaces classes files
Gecode home

search for 

projectors.cc File Reference

(Revision: 3349)

#include "gecode/set/projectors/propagator.hh"

Go to the source code of this file.

Namespaces
namespace	Gecode
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.