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. |