49 long long int n =
x.size();
98 long long int n =
x.size();
101 if (home.
failed())
return;
150 if (home.
failed())
return;
197 if (home.
failed())
return;
Greater or equal to number of values propagator for integer views.
IntConLevel
Consistency levels for integer propagators.
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.
IntRelType
Relation types for integers.
int val(void) const
Return assigned value.
bool failed(void) const
Check whether corresponding space is failed.
Passing integer variables.
Passing Boolean variables.
Less or equal to number of values propagator for integer views.
Integer view for integer variables.
Node * x
Pointer to corresponding Boolean expression node.
Greater or equal to number of values propagator for Boolean views.
Binary disequality propagator.
#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
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.
void nvalues(Home home, const IntVarArgs &x, IntRelType irt, int y, IntConLevel)
Post propagator for .