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.