Node * x
Pointer to corresponding Boolean expression node.
FloatNum size(void) const
Return size of float value (distance between maximum and minimum)
Home class for posting propagators
Passing integer arguments.
Single value precedence propagator.
Post propagator for SetVar SetOpType SetVar y
#define GECODE_POST
Check for failure in a constraint post function.
#define GECODE_ES_FAIL(es)
Check whether execution status es is failed, and fail space home.
void precede(Home home, const IntVarArgs &x, int s, int t, IntPropLevel)
Post propagator that s precedes t in x.
void check(int n, const char *l)
Check whether integer n is in range, otherwise throw overflow exception with information l.
Gecode::FloatVal c(-8, 8)
Gecode::IntArgs i({1, 2, 3, 4})