
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.