49 long long int n =
x.size();
98 long long int n =
x.size();
Greater or equal to number of values propagator for integer views.
Less or equal to number of values propagator for Boolean views.
bool assigned(void) const
Test whether view is assigned.
Equal to number of values propagator for integer views.
Exception: Unknown relation passed as argument
int n
Number of negative literals for node type.
void nvalues(Home home, const IntVarArgs &x, IntRelType irt, int y, IntPropLevel)
Post propagator for .
IntRelType
Relation types for integers.
Post propagator for SetVar SetOpType SetVar SetRelType SetVar z
Passing integer variables.
Passing Boolean variables.
Less or equal to number of values propagator for integer views.
IntPropLevel
Propagation levels for integer propagators.
Integer view for integer variables.
Post propagator for SetVar SetOpType SetVar y
Greater or equal to number of values propagator for Boolean views.
Binary disequality propagator.
Post propagator for SetVar x
#define GECODE_ME_FAIL(me)
Check whether modification event me is failed, and fail space home.
Equal to number of values propagator for Boolean views.
Gecode toplevel namespace
#define GECODE_POST
Check for failure in a constraint post function.
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.