Domain constraints
[Using finite integer sets]
Functions | |
void | Gecode::dom (Space *home, SetVar x, SetRelType r, int i) |
Propagates . | |
void | Gecode::dom (Space *home, SetVar x, SetRelType r, int i, int j) |
Propagates . | |
void | Gecode::dom (Space *home, SetVar x, SetRelType r, const IntSet &s) |
Propagates . | |
void | Gecode::dom (Space *home, SetVar x, SetRelType r, int i, BoolVar b) |
Post propagator for . | |
void | Gecode::dom (Space *home, SetVar x, SetRelType r, int i, int j, BoolVar b) |
Post propagator for . | |
void | Gecode::dom (Space *home, SetVar x, SetRelType r, const IntSet &s, BoolVar b) |
Post propagator for . | |
void | Gecode::cardinality (Space *home, SetVar x, unsigned int i, unsigned int j) |
Propagates . |
Function Documentation
void Gecode::dom | ( | Space * | home, | |
SetVar | s, | |||
SetRelType | r, | |||
int | i | |||
) |
void Gecode::dom | ( | Space * | home, | |
SetVar | s, | |||
SetRelType | r, | |||
int | i, | |||
int | j | |||
) |
void Gecode::dom | ( | Space * | home, | |
SetVar | s, | |||
SetRelType | r, | |||
const IntSet & | is | |||
) |
void Gecode::dom | ( | Space * | home, | |
SetVar | s, | |||
SetRelType | r, | |||
int | i, | |||
BoolVar | b | |||
) |
void Gecode::dom | ( | Space * | home, | |
SetVar | s, | |||
SetRelType | r, | |||
int | i, | |||
int | j, | |||
BoolVar | b | |||
) |
void Gecode::dom | ( | Space * | home, | |
SetVar | s, | |||
SetRelType | r, | |||
const IntSet & | is, | |||
BoolVar | b | |||
) |
void Gecode::cardinality | ( | Space * | home, | |
SetVar | x, | |||
unsigned int | i, | |||
unsigned int | j | |||
) |