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),icl);
80 e.
post(home,t ? irt : neg(irt),b,icl);
IntConLevel
Consistency levels for integer propagators.
void post(Home home, bool t, IntConLevel icl) const
Post propagator for relation (if t is false for negated relation)
IntRelType
Relation types for integers.
Boolean integer variables.
Linear expressions over integer variables.
struct Gecode::@518::NNF::@57::@58 b
For binary nodes (and, or, eqv)
Gecode toplevel namespace
Home class for posting propagators
#define GECODE_NEVER
Assert that this command is never executed.
void post(Home home, IntRelType irt, IntConLevel icl) const
Post propagator.