dom.cc File Reference
(Revision: 6102)
#include "gecode/cpltset.hh"
Go to the source code of this file.
Namespaces | |
namespace | Gecode |
Functions | |
void | Gecode::dom (Space *home, CpltSetVar x, SetRelType r, const IntSet &s) |
Propagates ![]() | |
void | Gecode::dom (Space *home, CpltSetVar x, SetRelType r, int i) |
Propagates ![]() | |
void | Gecode::dom (Space *home, CpltSetVar x, SetRelType r, int i, int j) |
Propagates ![]() |