48 for (
int i=x.
size();
i--;) {
57 ::
post(home, xa, y)));
61 ::
post(home, xa, y)));
66 ::
post(home, xa, y)));
82 for (
int i=x.
size();
i--;) {
91 ::
post(home, xa, z, y)));
95 ::
post(home, xa, z, y)));
100 ::
post(home, xa, z, y)));
Post propagator for SetVar SetOpType op
void check(int n, const char *l)
Check whether integer n is in range, otherwise throw overflow exception with information l...
Propagator for nary union
int size(void) const
Return size of array (number of elements)
Exception: Unknown operation passed as argument
SetOpType
Common operations for sets.
Gecode::IntArgs i({1, 2, 3, 4})
Exception: Illegal operation passed as argument
Propagator for nary partition
Post propagator for SetVar SetOpType SetVar SetRelType SetVar z
Passing integer variables.
Standard set operation propagators.
Integer view for integer variables.
Post propagator for SetVar SetOpType SetVar y
Standard set relation propagators.
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n)
Propagates .
Post propagator for SetVar x
Gecode toplevel namespace
#define GECODE_POST
Check for failure in a constraint post function.
Home class for posting propagators
#define GECODE_ES_FAIL(es)
Check whether execution status es is failed, and fail space home.
Propagator for nary intersection
TFE post(PropagatorGroup g)
Only post functions (but not propagators) from g are considered.