struct Gecode::@603::NNF::@65::@66 b
For binary nodes (and, or, eqv)
Boolean integer variables.
Home class for posting propagators
int max(void) const
Return maximum of domain.
static ExecStatus post(Home home, IntView s0, int p0, IntView s1, int p1, BoolView b)
Post order propagator.
#define GECODE_POST
Check for failure in a constraint post function.
#define GECODE_ES_FAIL(es)
Check whether execution status es is failed, and fail space home.
IntPropLevel
Propagation levels for integer propagators.
void nonnegative(int n, const char *l)
Check whether n is in range and nonnegative, otherwise throw out of limits with information l.
void check(int n, const char *l)
Check whether n is in range, otherwise throw out of limits with information l.
Gecode toplevel namespace
void order(Home home, IntVar s0, int p0, IntVar s1, int p1, BoolVar b, IntPropLevel ipl=IPL_DEF)
Post propagators for ordering two tasks.