52 for (
int i=
x.size();
i--;) {
61 ::
post(home, xa, y)));
65 ::
post(home, xa, y)));
70 ::
post(home, xa, y)));
86 for (
int i=
x.size();
i--;) {
95 ::
post(home, xa, z, y)));
99 ::
post(home, xa, z, y)));
104 ::
post(home, xa, z, y)));
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
void post(Home home, Term *t, int n, FloatRelType frt, FloatVal c)
Post propagator for linear constraint over floats.
Exception: Unknown operation passed as argument
SetOpType
Common operations for sets.
Gecode::IntArgs i(4, 1, 2, 3, 4)
Exception: Illegal operation passed as argument
Propagator for nary partition
bool failed(void) const
Check whether corresponding space is failed.
Passing integer variables.
Standard set operation propagators.
Integer view for integer variables.
Node * x
Pointer to corresponding Boolean expression node.
Standard set relation propagators.
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n)
Propagates .
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 nary intersection