order.cpp File Reference
#include <gecode/int/order.hh>
#include <algorithm>
Go to the source code of this file.
Namespaces | |
namespace | Gecode |
Gecode toplevel namespace | |
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. |