Generated on Mon Aug 25 11:35:46 2008 for Gecode by doxygen 1.5.6

projectors.cc File Reference

(Revision: 6332)

#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 SetVarArgs &xa, ProjectorSet &ps, bool negated=false)
 Post projection propagators for nary 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.