44 namespace Int {
namespace Element {
53 using namespace Gecode::Set;
84 post(home,iv,y,z,universe)));
121 SetView>::IdxViewArray iv(home, x);
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);