58 for (
int k=
x.size(); k--; ) {
Home class for posting propagators
Reification specification.
static ExecStatus post(Home home, View s, Gecode::Int::IntView x)
Post propagator for .
Set view for set variables
unsigned int cardMin(void) const
Return minimum cardinality.
unsigned int cardMax(void) const
Return maximum cardinality.
#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.
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVar x1)
Post propagator for .
void check(int n, const char *l)
Check whether integer n is in range, otherwise throw overflow exception with information l.
const unsigned int card
Maximum cardinality of an integer set.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType r
Post propagator for SetVar SetOpType SetVar y
LinIntExpr cardinality(const SetExpr &)
Cardinality of set expression.
Post propagator for SetVar x