Domain constraints
[Using finite integer sets with complete domain representation]
Functions | |
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 . | |
void | Gecode::dom (Space *home, CpltSetVar x, SetRelType r, const IntSet &s) |
Propagates . | |
void | Gecode::cardinality (Space *home, CpltSetVar x, unsigned int l, unsigned int u) |
Post propagator for . | |
void | Gecode::cardinality (Space *home, CpltSetVar x, unsigned int c) |
Post propagator for . |
Function Documentation
GECODE_CPLTSET_EXPORT void Gecode::dom | ( | Space * | home, | |
CpltSetVar | x, | |||
SetRelType | r, | |||
int | i | |||
) |
GECODE_CPLTSET_EXPORT void Gecode::dom | ( | Space * | home, | |
CpltSetVar | x, | |||
SetRelType | r, | |||
int | i, | |||
int | j | |||
) |
GECODE_CPLTSET_EXPORT void Gecode::dom | ( | Space * | home, | |
CpltSetVar | x, | |||
SetRelType | r, | |||
const IntSet & | s | |||
) |
GECODE_CPLTSET_EXPORT void Gecode::cardinality | ( | Space * | home, | |
CpltSetVar | x, | |||
unsigned int | l, | |||
unsigned int | u | |||
) |
GECODE_CPLTSET_EXPORT void Gecode::cardinality | ( | Space * | home, | |
CpltSetVar | x, | |||
unsigned int | c | |||
) |