int.cc File Reference
(Revision: 2652)
#include "set.hh"
Go to the source code of this file.
Namespaces | |
namespace | Gecode |
Functions | |
void | Gecode::rel (Space *home, SetVar s, IntRelType r, IntVar x) |
Post propagator for ![]() | |
void | Gecode::rel (Space *home, IntVar x, IntRelType r, SetVar s) |
Post propagator for ![]() | |
void | Gecode::minElement (Space *home, SetVar s, IntVar x) |
Post propagator that propagates that x is the minimal element of s. | |
void | Gecode::maxElement (Space *home, SetVar s, IntVar x) |
Post propagator that propagates that x is the maximal element of s. | |
void | Gecode::match (Space *home, SetVar s, const IntVarArgs &x) |
Post propagator that propagates that s contains the ![]() | |
void | Gecode::channelVarVal (Space *home, const IntVarArgs &x, const SetVarArgs &y) |
Post propagator for ![]() | |
void | Gecode::weights (Space *home, const IntArgs &elements, const IntArgs &weights, SetVar x, IntVar y) |
Post propagator for ![]() |