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);
struct Gecode::@603::NNF::@65::@66 b
For binary nodes (and, or, eqv)
bool neg
Is atomic formula negative.
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 ( )
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType r
#define GECODE_NEVER
Assert that this command is never executed.