IntConLevel
Consistency levels for integer propagators.
Gecode::FloatVal c(-8, 8)
Gecode::IntArgs i(4, 1, 2, 3, 4)
bool failed(void) const
Check whether corresponding space is failed.
void precede(Home home, const IntVarArgs &x, int s, int t, IntConLevel)
Post propagator that s precedes t in x.
Passing integer variables.
Passing integer arguments.
Node * x
Pointer to corresponding Boolean expression node.
Single value precedence propagator.
Gecode toplevel namespace
FloatNum size(void) const
Return size of float value (distance between maximum and minimum)
void check(int n, const char *l)
Check whether n is in range, otherwise throw out of limits with information l.
Home class for posting propagators
#define GECODE_ES_FAIL(es)
Check whether execution status es is failed, and fail space home.