42 namespace Test {
namespace Int {
53 template<
bool useCount>
60 :
Test(std::string(useCount ?
"Count::Distinct::" :
"Distinct::")+
61 str(icl)+
"::Sparse",6,d0,false,icl), d(d0) {}
64 :
Test(std::string(useCount ?
"Count::Distinct::" :
"Distinct::")+
65 str(icl)+
"::Dense",6,min,max,false,icl), d(min,max) {}
69 for (
int j=
i+1; j<x.
size(); j++)
94 :
Test(
"Distinct::Offset::Sparse::"+
str(icl),6,d,false,icl) {}
97 :
Test(
"Distinct::Offset::Dense::"+
str(icl),6,min,max,false,icl) {}
101 for (
int j=
i+1; j<x.
size(); j++)
120 :
Test(
"Distinct::Random::"+
str(icl),n,min,max,false,icl) {
130 for (
int j=
i+1; j<x.
size(); j++)
155 : Gecode::
Space(share,s) {}
164 :
Base(
"Int::Distinct::Pathological::"+
165 Test::str(n0)+
"::"+
Test::str(icl0)),
n(n0),
icl(icl0) {}
168 using namespace Gecode;
172 for (
int i=0;
i<
n;
i++)
176 delete s;
return false;
178 for (
int i=0;
i<
n;
i++)
180 delete s;
return false;
187 for (
int i=0;
i<
n;
i++) {
192 for (
int i=n;
i<2*
n;
i++)
196 delete s;
return false;
198 for (
int i=0;
i<
n;
i++)
200 delete s;
return false;
208 const int v[7] = {-1001,-1000,-10,0,10,1000,1001};