
Functions | |
| void | Gecode::precede (Home home, const SetVarArgs &x, int s, int t) |
| Post propagator that s precedes t in x. More... | |
| void | Gecode::precede (Home home, const SetVarArgs &x, const IntArgs &c) |
| Post propagator that successive values in c precede each other in x. More... | |
| void Gecode::precede | ( | Home | home, |
| const SetVarArgs & | x, | ||
| int | s, | ||
| int | t | ||
| ) |
Post propagator that s precedes t in x.
This constraint enforces that if there exists
such that
, then there exists
such that
.
Definition at line 49 of file precede.cpp.
| void Gecode::precede | ( | Home | home, |
| const SetVarArgs & | x, | ||
| const IntArgs & | c | ||
| ) |
Post propagator that successive values in c precede each other in x.
Definition at line 60 of file precede.cpp.