84 post(home,iv,y,z,universe)));
124 SetView>::
post(home,iv,y,z,universe)));
138 if (home.
failed())
return;
145 for (
int i=x.
size();
i--;) {
163 for (
int i=x.
size();
i--;) {
164 iv[
i].idx =
i; iv[
i].view = ConstSetView(home, x[
i]);
168 post(home,iv,y,z,universe)));
184 for (
int i=x.
size();
i--;)
186 element(home,op,xs,y,z,universe);
193 if (home.
failed())
return;
201 ::
post(home, iv, single,zv)));
208 for (
int i=x.
size();
i--;)
210 if (home.
failed())
return;
222 pair(Home home, IntVar
x,
int w, IntVar y,
int h) {
223 IntVar xy(home,0,w*h-1);
237 if (home.
failed())
return;
238 element(home, a, pair(home,x,w,y,h), z);
248 if (home.
failed())
return;
249 element(home, a, pair(home,x,w,y,h), z);
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...
void post(Home home, Term *t, int n, FloatRelType frt, FloatVal c)
Post propagator for linear constraint over floats.
static ExecStatus post(Home home, IntView x0, IntView x1, IntView x2, int w, int h)
Post propagator .
int size(void) const
Return size of array (number of elements)
Exception: Too few arguments available in argument array
Exception: Unknown operation passed as argument
SetOpType
Common operations for sets.
Propagator for element with disjointness
Propagator for element with union of constant sets
Gecode::IntArgs i(4, 1, 2, 3, 4)
Exception: Illegal operation passed as argument
void element(Home home, IntSharedArray c, IntVar x0, IntVar x1, IntConLevel)
Post domain consistent propagator for .
Passing integer variables.
Passing integer arguments.
Propagator for element with intersection
Set view for set variables
Integer view for integer variables.
Node * x
Pointer to corresponding Boolean expression node.
Propagator for element with union
Gecode toplevel namespace
Home class for posting propagators
Exception: Arguments are of different size
#define GECODE_ES_FAIL(es)
Check whether execution status es is failed, and fail space home.
Class to map VarArg type to view.
struct Gecode::@518::NNF::@57::@59 a
For atomic nodes.