40 using namespace Gecode;
42 namespace Test {
namespace Set {
45 namespace RelOpConst {
67 template<
class I,
class J>
69 sol(I&
i, J& j)
const {
93 int intSet,
bool inverse0)
94 :
SetTest(
"RelOp::ConstSIS::"+str(sot0)+
"::"+str(srt0)+
"::"+
95 str(intSet)+(inverse0 ?
"i" :
""),2,ds_22,false)
96 , is(iss[intSet]), sot(sot0), srt(srt0),
inverse(inverse0) {}
162 template<
class I,
class J>
164 sol(I&
i, J& j)
const {
189 :
SetTest(
"RelOp::ConstSSI::"+str(sot0)+
"::"+str(srt0)+
"::"+
190 str(intSet),2,ds_22,false)
191 , is(iss[intSet]), sot(sot0), srt(srt0) {}
249 template<
class I,
class J>
251 sol(I&
i, J& j)
const {
275 int intSet0,
int intSet1,
bool inverse0)
276 :
SetTest(
"RelOp::ConstISI::"+str(sot0)+
"::"+str(srt0)+
"::"+
277 str(intSet0)+
"::"+str(intSet1)+
278 (inverse0 ?
"i" :
""),1,ds_33,false)
279 , is0(iss[intSet0]), is1(iss[intSet1]), sot(sot0), srt(srt0)
343 using namespace Gecode;
346 for (
int i=0;
i<=2;
i++) {
347 (void)
new RelSIS(sots.sot(),srts.srt(),
i,
false);
348 (void)
new RelSIS(sots.sot(),srts.srt(),
i,
true);
349 (void)
new RelSSI(sots.sot(),srts.srt(),
i);
350 (void)
new RelISI(sots.sot(),srts.srt(),
i,0,
false);
351 (void)
new RelISI(sots.sot(),srts.srt(),
i,1,
false);
352 (void)
new RelISI(sots.sot(),srts.srt(),
i,2,
false);
353 (void)
new RelISI(sots.sot(),srts.srt(),
i,0,
true);
354 (void)
new RelISI(sots.sot(),srts.srt(),
i,1,
true);
355 (void)
new RelISI(sots.sot(),srts.srt(),
i,2,
true);