42 using namespace Gecode;
44 namespace Test {
namespace Set {
55 static const int d1r[4][2] = {
56 {-4,-3},{-1,-1},{1,1},{3,5}
79 return s==(
unsigned int)x.
intval();
86 Card
_card(
"Int::Card");
109 Min
_min(
"Int::Min");
116 :
SetTest(t,1,ds_33,false,1) {}
120 return !(xr0() && xr0.
min()==x.
intval());
151 Max
_max(
"Int::Max");
158 :
SetTest(t,1,ds_33,false,1) {}
195 Elem
_elem(
"Int::Elem");
202 :
SetTest(t,1,ds_33,false,1) {}
225 :
SetTest(
"Int::Rel::"+str(srt0)+(inverse0 ?
"::i" :
""),
299 :
SetTest(
"Int::IntRel::"+Test::Int::Test::str(irt0)+
300 (inverse0 ?
"::i" :
""),1,ds_33,false,1)
311 if (xr.
val() != x.
intval())
return false;
314 if (xr.
val() == x.
intval())
return false;
369 while (elements[i]<
v.val()) i++;
370 assert(elements[i] ==
v.val());
385 int min = -10000,
int max = 10000)
402 const int el1v[] = {-3,-2,-1,0,1,2,3};
404 const int w1v[] = {1,-2,1,1,1,6,1};
408 const int w2v[] = {-1,-1,-1,10,-1,-1,-1};
413 const int w4v[] = {1,1,0,0,0,0,0};