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);
struct Gecode::@602::NNF::@65::@66 b
For binary nodes (and, or, eqv)
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, IntRelType irt, const IntPropLevels &ipls) const
Post propagator.
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 ( )
#define GECODE_NEVER
Assert that this command is never executed.