45 LinIntRel::LinIntRel(
void) {}
49 : e(l-r), irt(irt0) {}
53 : e(l-r), irt(irt0) {}
57 : e(l-r), irt(irt0) {}
75 e.
post(home,t ? irt : neg(irt),ipl);
80 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.
IntPropLevel
Propagation levels for integer propagators.
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
struct Gecode::@554::NNF::@60::@61 b
For binary nodes (and, or, eqv)
Home class for posting propagators
#define GECODE_NEVER
Assert that this command is never executed.