44 using namespace Gecode::Set;
45 using namespace Gecode::Set::Rel;
46 using namespace Gecode::Set::RelOp;
64 ::
post(home, xa, y)));
92 ::
post(home, xa, z, y)));
bool failed(void) const
Check whether corresponding space is failed.
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.
Exception: Illegal operation passed as argument
Propagator for nary partition
Node * x
Pointer to corresponding Boolean expression node.
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n)
Propagates .
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