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.