62 for (
int k=x.
size(); k--; ) {
bool failed(void) const
Check whether corresponding space is failed.
unsigned int cardMin(void) const
Return minimum cardinality.
void check(int n, const char *l)
Check whether integer n is in range, otherwise throw overflow exception with information l...
int size(void) const
Return size of array (number of elements)
unsigned int cardMax(void) const
Return maximum cardinality.
Gecode::IntArgs i(4, 1, 2, 3, 4)
LinIntExpr cardinality(const SetExpr &e)
Cardinality of set expression.
Set view for set variables
Node * x
Pointer to corresponding Boolean expression node.
#define GECODE_ME_FAIL(me)
Check whether modification event me is failed, and fail space home.
Gecode toplevel namespace
Home class for posting propagators
#define GECODE_ES_FAIL(es)
Check whether execution status es is failed, and fail space home.
Propagator for cardinality