34#ifdef GECODE_HAS_FLOAT_VARS
43 LinFloatRel::LinFloatRel(
void) {}
47 : e(
l-
r), frt(frt0) {}
51 : e(
l-
r), frt(frt0) {}
55 : e(
l-
r), frt(frt0) {}
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
void post(Home home, FloatRelType frt) const
Post propagator.
void post(Home home, bool t) const
Post propagator for relation (if t is false for negated relation)
FloatRelType
Relation types for floats.
@ FRT_LQ
Less or equal ( )
@ FRT_GQ
Greater or equal ( )
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType r
#define GECODE_NEVER
Assert that this command is never executed.