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.
struct Gecode::@579::NNF::@61::@62 b
For binary nodes (and, or, eqv)
void post(Home home, IntRelType irt, IntPropLevel ipl) const
Post propagator.
Boolean integer variables.
Post propagator for SetVar SetOpType SetVar SetRelType r
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
Home class for posting propagators
#define GECODE_NEVER
Assert that this command is never executed.