41 LinIntRel::LinIntRel(
void) {}
45 : e(l-r), irt(irt0) {}
49 : e(l-r), irt(irt0) {}
53 : e(l-r), irt(irt0) {}
71 e.
post(home,t ? irt : neg(irt),ipl);
76 e.
post(home,t ? irt : neg(irt),b,ipl);
IntRelType
Relation types for integers.
void post(Home home, IntRelType irt, IntPropLevel ipl) const
Post propagator.
Boolean integer variables.
Post propagator for SetVar SetOpType SetVar SetRelType r
IntPropLevel
Propagation levels for integer propagators.
struct Gecode::@585::NNF::@62::@63 b
For binary nodes (and, or, eqv)
Linear expressions over integer variables.
void post(Home home, bool t, IntPropLevel ipl) const
Post propagator for relation (if t is false for negated relation)
Gecode toplevel namespace
Home class for posting propagators
#define GECODE_NEVER
Assert that this command is never executed.