42 using namespace Gecode;
44 namespace Test {
namespace Set {
68 ++sel2, selected++) {}
74 for (
int i=selected;
i--;++selector) {
75 if (selector.
val()>=3 || selector.
val()<0) {
98 for (
int i=x.
size()-2;
i--;)
114 :
SetTest(t,2,ds_13,false), i0(-3,-3), i1(-1,1), i2(0,2) {}
119 ++sel2, selected++) {}
123 IntSet iss[] = {i0, i1, i2};
126 for (
int i=selected;
i--;++selector) {
127 if (selector.
val()>=3 || selector.
val()<0) {
150 xs[0] = i0; xs[1] = i1; xs[2] = i2;
166 ++sel2, selected++) {}
172 for (
int i=selected;
i--;++selector) {
173 if (selector.
val()>=3 || selector.
val()<0) {
195 for (
int i=x.
size()-2;
i--;)
212 ++sel2, selected++) {}
218 for (
int i=selected;
i--;++selector) {
219 if (selector.
val()>=3 || selector.
val()<0) {
241 for (
int i=x.
size()-2;
i--;)
259 ++sel2, selected++) {
268 unsigned int cardsum = 0;
269 for (
int i=selected;
i--;++selector) {
270 if (selector.
val()>=3 || selector.
val()<0) {
296 for (
int i=x.
size()-2;
i--;)
308 :
SetTest(t,4,ds_12,false,true) {}
320 for (
int i=x.
size()-1;
i--;)
336 :
SetTest(t,1,ds_13,false,true), i0(-3,-3), i1(-1,1), i2(0,2) {}
342 IntSet iss[] = {i0, i1, i2};
349 xs[0] = i0; xs[1] = i1; xs[2] = i2;
373 using namespace Gecode;
374 if ((y[0] > 1) || (y[1] > 1))
385 using namespace Gecode;
387 element(home, m, y[0], y[1], x[0]);