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;
bool failed(void) const
Check whether corresponding space is failed.
Greater or equal to number of values propagator for integer views.
IntConLevel
Consistency levels for integer propagators.
int size(void) const
Return size of array (number of elements)
Less or equal to number of values propagator for Boolean views.
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.
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.
int val(void) const
Return assigned value.
Binary disequality propagator.
#define GECODE_ME_FAIL(me)
Check whether modification event me is failed, and fail space home.
bool assigned(void) const
Test whether view is assigned.
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 .