40 using namespace Gecode;
42 namespace Test {
namespace Set {
63 :
SetTest(
"Rel::Bin::"+str(srt0)+
"::S"+(shared0 ?
"1":
"0"),
65 , srt(srt0),
shared(shared0){}
67 int x1 =
shared ? x[0] : x[1];
86 int x1 =
shared ? x[0] : x[1];
93 case SRT_LQ:
return (!xr0()) || in(minSymDiff(x),xr1,
true);
94 case SRT_LE:
return xr0() ? in(minSymDiff(x),xr1) : xr1();
95 case SRT_GQ:
return (!xr1()) || in(minSymDiff(x),xr0,
true);
96 case SRT_GR:
return xr1() ? in(minSymDiff(x),xr0) : xr0();