Functions | |
void | Gecode::precede (Home home, const IntVarArgs &x, int s, int t, IntPropLevel=IPL_DEF) |
Post propagator that s precedes t in x. | |
void | Gecode::precede (Home home, const IntVarArgs &x, const IntArgs &c, IntPropLevel=IPL_DEF) |
Post propagator that successive values in c precede each other in x. |
void Gecode::precede | ( | Home | home, |
const IntVarArgs & | x, | ||
int | s, | ||
int | t, | ||
IntPropLevel | = IPL_DEF ) |
Post propagator that s precedes t in x.
This constraint enforces that
Definition at line 43 of file precede.cpp.
void Gecode::precede | ( | Home | home, |
const IntVarArgs & | x, | ||
const IntArgs & | c, | ||
IntPropLevel | = IPL_DEF ) |
Post propagator that successive values in c precede each other in x.
This constraint enforces that
Definition at line 54 of file precede.cpp.