Functions |
void | Gecode::dom (Home home, SetVar x, SetRelType r, int i) |
| Propagates .
|
void | Gecode::dom (Home home, SetVar x, SetRelType r, int i, int j) |
| Propagates .
|
void | Gecode::dom (Home home, SetVar x, SetRelType r, const IntSet &s) |
| Propagates .
|
void | Gecode::dom (Home home, SetVar x, SetRelType r, int i, BoolVar b) |
| Post propagator for .
|
void | Gecode::dom (Home home, SetVar x, SetRelType r, int i, int j, BoolVar b) |
| Post propagator for .
|
void | Gecode::dom (Home home, SetVar x, SetRelType r, const IntSet &s, BoolVar b) |
| Post propagator for .
|
build buildd gecode gecode set
cardinality cpp void | Gecode::cardinality (Home home, SetVar x, unsigned int i, unsigned int j) |
| Propagates .
|