select.cc File Reference
(Revision: 2544)
#include "set/select.hh"
Go to the source code of this file.
Namespaces | |
namespace | Gecode |
Functions | |
void | Gecode::selectUnion (Space *home, const SetVarArgs &x, SetVar y, SetVar z) |
Post propagator for ![]() | |
void | Gecode::selectInter (Space *home, const SetVarArgs &sn, SetVar s2, SetVar s1) |
void | Gecode::selectInterIn (Space *home, const SetVarArgs &sn, SetVar s2, SetVar s1, const IntSet &universe) |
void | Gecode::selectSets (Space *home, const SetVarArgs &x, IntVar y, SetVar z) |
Post propagator for ![]() | |
void | Gecode::selectDisjoint (Space *home, const SetVarArgs &xs, SetVar y) |
Post propagator for ![]() |