40 using namespace Gecode::Set;
41 using namespace Gecode::Set::Rel;
42 using namespace Gecode::Set::RelOp;
48 for (
int i=
x.size(); i--;) {
82 for (
int i=
x.size(); i--;) {
Home class for posting propagators
Passing integer variables.
Exception: Illegal operation passed as argument
Integer view for integer variables.
Exception: Unknown operation passed as argument
Propagator for nary intersection
Propagator for nary partition
Propagator for nary union
#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.
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVar x1)
Post propagator for .
SetOpType
Common operations for sets.
@ SOT_DUNION
Disjoint union.
void check(int n, const char *l)
Check whether integer n is in range, otherwise throw overflow exception with information l.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType SetVar z
Post propagator for SetVar SetOpType SetVar y
TFE post(PropagatorGroup g)
Only post functions (but not propagators) from g are considered.
Post propagator for SetVar x
Post propagator for SetVar SetOpType op