Go to the source code of this file.
Functions | |
void | Gecode::order (Home home, IntVar s0, int p0, IntVar s1, int p1, BoolVar b, IntPropLevel ipl=IPL_DEF) |
Post propagators for ordering two tasks. More... | |
void Gecode::order | ( | Home | home, |
IntVar | s0, | ||
int | p0, | ||
IntVar | s1, | ||
int | p1, | ||
BoolVar | b, | ||
IntPropLevel | ipl = IPL_DEF |
||
) |
Post propagators for ordering two tasks.
Order two tasks with start times and
with processing times
and
according to Boolean variable b (if b is zero
starts before
).
Throws an exception of Int::OutOfLimits, if the durations or the sum of durations and start times are too large.