
Functions | |
| void | Gecode::precede (Home home, const IntVarArgs &x, int s, int t, IntConLevel=ICL_DEF) |
| Post propagator that s precedes t in x. More... | |
| void | Gecode::precede (Home home, const IntVarArgs &x, const IntArgs &c, IntConLevel=ICL_DEF) |
| Post propagator that successive values in c precede each other in x. More... | |
| void Gecode::precede | ( | Home | home, |
| const IntVarArgs & | x, | ||
| int | s, | ||
| int | t, | ||
| IntConLevel | = ICL_DEF |
||
| ) |
Post propagator that s precedes t in x.
This constraint enforces that
and
for
. The propagator is domain consistent.
Definition at line 47 of file precede.cpp.
| void Gecode::precede | ( | Home | home, |
| const IntVarArgs & | x, | ||
| const IntArgs & | c, | ||
| IntConLevel | = ICL_DEF |
||
| ) |
Post propagator that successive values in c precede each other in x.
This constraint enforces that
for
and
for
and
.
Definition at line 58 of file precede.cpp.