41 LinIntRel::LinIntRel(
void) {}
45 : e(l-
r), irt(irt0) {}
49 : e(l-
r), irt(irt0) {}
53 : e(l-
r), irt(irt0) {}
72 e.post(home,t ? irt : neg(irt),ipls);
78 e.post(home,t ? irt : neg(irt),b,ipls);
Boolean integer variables.
Home class for posting propagators
Class for specifying integer propagation levels used by minimodel.
Linear expressions over integer variables.
void post(Home home, bool t, const IntPropLevels &ipls) const
Post propagator for relation (if t is false for negated relation)
IntRelType
Relation types for integers.
@ IRT_GQ
Greater or equal ( )
@ IRT_LQ
Less or equal ( )
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType r
#define GECODE_NEVER
Assert that this command is never executed.