50 for (
int i = c.
size();
i--; )
52 GECODE_ES_FAIL((Element::post_int<IntView,IntView>(home,c,x0,x1)));
61 for (
int i = c.
size();
i--; )
63 GECODE_ES_FAIL((Element::post_int<IntView,BoolView>(home,c,x0,x1)));
73 for (
int i = c.
size();
i--; )
77 (Element::post_int<IntView,ConstIntView>(home,c,x0,cx1)));
89 ::
post(home,iv,x0,x1)));
92 ::
post(home,iv,x0,x1)));
102 if (home.
failed())
return;
107 ::
post(home,iv,x0,v1)));
110 ::
post(home,iv,x0,v1)));
119 if (home.
failed())
return;
122 ::
post(home,iv,x0,x1)));
131 if (home.
failed())
return;
135 ::
post(home,iv,x0,v1)));
140 pair(Home home, IntVar
x,
int w, IntVar y,
int h) {
141 IntVar xy(home,0,w*h-1);
154 if (home.
failed())
return;
155 element(home, a, pair(home,x,w,y,h), z, icl);
164 if (home.
failed())
return;
165 element(home, a, pair(home,x,w,y,h), z, icl);
174 if (home.
failed())
return;
175 element(home, a, pair(home,x,w,y,h), z, icl);
184 if (home.
failed())
return;
185 element(home, a, pair(home,x,w,y,h), z, icl);