
Go to the source code of this file.
Functions | |
| void | Gecode::sequence (Home home, const IntVarArgs &x, const IntSet &s, int q, int l, int u, IntPropLevel ipl=IPL_DEF) |
Post propagator for . More... | |
| void | Gecode::sequence (Home home, const BoolVarArgs &x, const IntSet &s, int q, int l, int u, IntPropLevel ipl=IPL_DEF) |
Post propagator for . More... | |
| void Gecode::sequence | ( | Home | home, |
| const IntVarArgs & | x, | ||
| const IntSet & | s, | ||
| int | q, | ||
| int | l, | ||
| int | u, | ||
| IntPropLevel | ipl = IPL_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 47 of file sequence.cpp.
| void Gecode::sequence | ( | Home | home, |
| const BoolVarArgs & | x, | ||
| const IntSet & | s, | ||
| int | q, | ||
| int | l, | ||
| int | u, | ||
| IntPropLevel | ipl = IPL_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 112 of file sequence.cpp.