
Functions | |
| void | Gecode::sequence (Home home, const IntVarArgs &x, const IntSet &s, int q, int l, int u, IntConLevel icl=ICL_DEF) |
Post propagator for . More... | |
| void | Gecode::sequence (Home home, const BoolVarArgs &x, const IntSet &s, int q, int l, int u, IntConLevel icl=ICL_DEF) |
Post propagator for . More... | |
| void Gecode::sequence | ( | Home | home, |
| const IntVarArgs & | x, | ||
| const IntSet & | s, | ||
| int | q, | ||
| int | l, | ||
| int | u, | ||
| IntConLevel | icl = ICL_DEF |
||
| ) |
Post propagator for
.
Posts a domain consistent propagator for the constraint
where the among constraint is defined as
.
Throws the following exceptions:
.
. Definition at line 51 of file sequence.cpp.
| void Gecode::sequence | ( | Home | home, |
| const BoolVarArgs & | x, | ||
| const IntSet & | s, | ||
| int | q, | ||
| int | l, | ||
| int | u, | ||
| IntConLevel | icl = ICL_DEF |
||
| ) |
Post propagator for
.
Posts a domain consistent propagator for the constraint
where the among constraint is defined as
.
Throws the following exceptions:
.
. Definition at line 117 of file sequence.cpp.