void values(Home home, const IntVarArgs &x, IntSet y, IntPropLevel ipl)
Post constraint .
Post propagator for SetVar x
IntRelType
Relation types for integers.
Post propagator for SetVar SetOpType SetVar y
int lubMax(void) const
Return maximum element of least upper bound.
Passing integer variables.
void element(Home home, IntSharedArray c, IntVar x0, IntVar x1, IntPropLevel)
Post domain consistent propagator for .
static const IntSet empty
Empty set.
void atleast(Home home, const IntVarArgs &x, int n, int m, IntPropLevel ipl)
Post constraint .
Post propagator for SetVar SetOpType SetVar SetRelType SetVar z
void exactly(Home home, const IntVarArgs &x, int n, int m, IntPropLevel ipl)
Post constraint .
void range(Home home, const IntVarArgs &x, SetVar y, SetVar z)
Post constraint .
IntPropLevel
Propagation levels for integer propagators.
void atmost(Home home, const IntVarArgs &x, int n, int m, IntPropLevel ipl)
Post constraint .
void nvalues(Home home, const IntVarArgs &x, IntRelType irt, int y, IntPropLevel)
Post propagator for .
Gecode toplevel namespace
BoolVar expr(Home home, const BoolExpr &e, const IntPropLevels &ipls)
Post Boolean expression and return its value.
Passing Boolean variables.
Home class for posting propagators
void dom(Home home, FloatVar x, FloatVal n)
Propagates .
Post propagator for SetVar SetOpType SetVar SetRelType r
LinIntExpr cardinality(const SetExpr &e)
Cardinality of set expression.
void lex(Home home, const IntVarArgs &x, IntRelType r, const IntVarArgs &y, IntPropLevel ipl)
Post lexical order between x and y.
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n)
Propagates .
void count(Home home, const IntVarArgs &x, int n, IntRelType irt, int m, IntPropLevel)
Post propagator for .
void channel(Home home, FloatVar x0, IntVar x1)
Post propagator for channeling a float and an integer variable .
void roots(Home home, const IntVarArgs &x, SetVar y, SetVar z)
Post constraint .
int n
Number of negative literals for node type.
Passing integer arguments.