Generated on Thu Jan 20 2022 00:00:00 for Gecode by doxygen 1.9.1
order.cpp File Reference
#include <gecode/int/order.hh>
#include <algorithm>

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...
 

Function Documentation

◆ order()

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 $s_0$ and $s_1$ with processing times $p_0$ and $p_1$ according to Boolean variable b (if b is zero $s_0$ starts before $s_1$).

Throws an exception of Int::OutOfLimits, if the durations or the sum of durations and start times are too large.

Definition at line 41 of file order.cpp.