38 #ifdef GECODE_HAS_FLOAT_VARS 47 LinFloatRel::LinFloatRel(
void) {}
51 : e(
l-
r), frt(frt0) {}
55 : e(
l-
r), frt(frt0) {}
59 : e(
l-
r), frt(frt0) {}
77 e.
post(home,
t ? frt : neg(frt));
82 e.
post(home,
t ? frt : neg(frt),
b);
struct Gecode::@511::NNF::@54::@55 b
For binary nodes (and, or, eqv)
void post(Home home, bool t) const
Post propagator for relation (if t is false for negated relation)
FloatRelType
Relation types for floats.
Boolean integer variables.
Gecode toplevel namespace
Home class for posting propagators
#define GECODE_NEVER
Assert that this command is never executed.
void post(Home home, FloatRelType frt) const
Post propagator.