Domain constraints
[Using finite integer sets]
Collaboration diagram for Domain constraints:
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
|
Propagates .
|
|
Propagates .
|
|
Propagates .
|
|
Post propagator for .
|
|
Post propagator for .
|
|
Post propagator for .
|
|
Propagates .
Definition at line 34 of file cardinality.cc. |