52 #ifdef GECODE_HAS_FLOAT_VARS
58 std::floor(
f.max())));
65 #ifdef GECODE_HAS_SET_VARS
struct Gecode::@602::NNF::@65::@66 b
For binary nodes (and, or, eqv)
BoolVar expr(Home home, const BoolExpr &e, const IntPropLevels &ipls)
Post Boolean expression and return its value.
Node * x
Pointer to corresponding Boolean expression node.
Boolean integer variables.
Home class for posting propagators
static const IntSet empty
Empty set.
Passing integer variables.
void channel(Home home, FloatVar x0, IntVar x1)
Post propagator for channeling a float and an integer variable .
void nvalues(Home home, const IntVarArgs &x, IntRelType irt, int y, IntPropLevel)
Post propagator for .
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n)
Propagates .
IntPropLevel
Propagation levels for integer propagators.
const FloatNum max
Largest allowed float value.
const FloatNum min
Smallest allowed float value.
const int min
Smallest allowed integer value.
const int max
Largest allowed integer value.
const int min
Smallest allowed integer in integer set.
const int max
Largest allowed integer in integer set.
LinIntExpr cardinality(const SetExpr &e)
Cardinality of set expression.