45 long long int n =
x.size();
94 long long int n =
x.size();
int n
Number of negative literals for node type.
Passing Boolean variables.
Home class for posting propagators
Passing integer variables.
Integer view for integer variables.
Equal to number of values propagator for Boolean views.
Equal to number of values propagator for integer views.
Greater or equal to number of values propagator for Boolean views.
Greater or equal to number of values propagator for integer views.
Less or equal to number of values propagator for Boolean views.
Less or equal to number of values propagator for integer views.
Binary disequality propagator.
Exception: Unknown relation passed as argument
bool assigned(void) const
Test whether view is assigned.
#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