42 using namespace Gecode;
44 namespace Test {
namespace Set {
110 :
SetTest(t,_ssize,d,false,_isize), ssize(_ssize), isize(_isize) {}
113 for (
int i=0;
i<isize;
i++) {
121 for (
int i=0;
i<ssize;
i++) {
124 if (
csv.val() < 0 ||
csv.val() >= isize)
return false;
125 if (x.
ints()[
csv.val()] !=
i)
return false;
147 :
SetTest(t,1,d,false,_isize), isize(_isize) {}
150 for (
int i=0;
i<isize;
i++) {
156 if (
csv.val() < 0 ||
csv.val() >= isize)
return false;
157 if (x.
ints()[
csv.val()] != 1)
return false;
158 for (; cur<
csv.val(); cur++)
159 if (x.
ints()[cur] != 0)
return false;
162 for (; cur<isize; cur++)
163 if (x.
ints()[cur] != 0)
return false;
169 for (
int i=y.
size();
i--;)
182 int _x0size, _x1size;
186 :
SetTest(t,x0size+x1size,d,false), _x0size(x0size), _x1size(x1size) {}
189 for (
int i=0;
i<_x0size;
i++) {
192 if (x0is.
min() < 0 || x0is.
max() >= _x1size)
194 for (
int j=0; j<_x1size; j++) {
197 if (x1is.
min() < 0 || x1is.
max() >= _x0size)
199 bool jInI = x0is.
in(j);
200 bool iInJ = x1is.
in(i);