45 long long int n =
x.size();
94 long long int n =
x.size();
Passing Boolean variables.
Home class for posting propagators
Passing integer variables.
Integer view for integer variables.
static ExecStatus post(Home home, ViewArray< BoolView > &x, VY y)
Post propagator for .
static ExecStatus post(Home home, ViewArray< IntView > &x, VY y)
Post propagator for .
static ExecStatus post(Home home, ViewArray< BoolView > &x, VY y)
Post propagator for .
static ExecStatus post(Home home, ViewArray< IntView > &x, VY y)
Post propagator for .
static ExecStatus post(Home home, ViewArray< BoolView > &x, VY y)
Post propagator for .
static ExecStatus post(Home home, ViewArray< IntView > &x, VY y)
Post propagator for .
static ExecStatus post(Home home, V0 x0, V1 x1)
Post propagator .
Exception: Unknown relation passed as argument
#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.
#define GECODE_ME_FAIL(me)
Check whether modification event me is failed, and fail space home.
IntRelType
Relation types for integers.
IntPropLevel
Propagation levels for integer propagators.
@ IRT_GQ
Greater or equal ( )
@ IRT_LQ
Less or equal ( )
void check(int n, const char *l)
Check whether n is in range, otherwise throw out of limits with information l.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType SetVar z
Post propagator for SetVar SetOpType SetVar y
void nvalues(Home home, const IntVarArgs &x, IntRelType irt, int y, IntPropLevel ipl=IPL_DEF)
Post propagator for .
Post propagator for SetVar x