80 post(home,iv,
y,
z,universe)));
141 for (
int i=
x.size();
i--;) {
159 for (
int i=
x.size();
i--;) {
164 post(home,iv,
y,
z,universe)));
180 for (
int i=
x.size();
i--;)
197 ::
post(home, iv, single,zv)));
204 for (
int i=
x.size();
i--;)
218 pair(Home home, IntVar
x,
int w, IntVar y,
int h) {
219 IntVar xy(home,0,w*h-1);
Node * x
Pointer to corresponding Boolean expression node.
struct Gecode::@602::NNF::@65::@67 a
For atomic nodes.
Home class for posting propagators
Passing integer arguments.
Passing integer variables.
Exception: Arguments are of different size
static ExecStatus post(Home home, IntView x0, IntView x1, IntView x2, int w, int h)
Post propagator .
Exception: Illegal operation passed as argument
Integer view for integer variables.
Exception: Too few arguments available in argument array
Exception: Unknown operation passed as argument
Class to map VarArg type to view.
Propagator for element with disjointness
Propagator for element with intersection
Propagator for element with union of constant sets
Propagator for element with union
Set view for set variables
void element(Home home, IntSharedArray c, IntVar x0, IntVar x1, IntPropLevel)
Post domain consistent propagator for .
Post propagator for SetVar SetOpType SetVar SetRelType SetVar z
Post propagator for SetVar SetOpType SetVar y
Post propagator for SetVar SetOpType op
void post(Home home, Term *t, int n, FloatRelType frt, FloatVal c)
Post propagator for linear constraint over floats.
#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.
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::IntArgs i({1, 2, 3, 4})