40 namespace Test {
namespace Int {
60 dsv(new Gecode::IntSetValues[static_cast<unsigned int>(n)]) {
70 assert((i>=0) && (i<
n));
83 if (it.width() > skip)
84 return it.min() +
static_cast<int>(skip);
104 assert((i>=0) && (i<
n));
116 if (it.width() > skip)
117 return it.min() +
static_cast<int>(skip);
128 :
Assignment(n0+n1,d0),vals(new int[n0+n1]),
a(a0),_n1(n1),_d1(d1) {
129 for (
int i=n0;
i--; )
131 for (
int i=n1;
i--; )
142 assert((i>=0) && (i<
n));
158 :
Base(
"Int::"+s), arity(a),
dom(d), reified(r), icl(i),
160 testsearch(true), testfix(true) {}
165 :
Base(
"Int::"+s), arity(a),
dom(min,max), reified(r), icl(i),
167 testsearch(true), testfix(true) {}
172 using namespace Gecode;
176 default:
return "Def";
183 using namespace Gecode;
188 default:
return "Def";
195 using namespace Gecode;
211 using namespace Gecode;
236 for (
int i=0;
i<x.
size()-1;
i++)
237 s +=
str(x[
i]) +
",";
238 return "[" + s +
str(x[x.
size()-1]) +
"]";
244 using namespace Gecode;
246 case IRT_EQ:
return x == y;
247 case IRT_NQ:
return x != y;
248 case IRT_LQ:
return x <= y;
249 case IRT_LE:
return x < y;
250 case IRT_GR:
return x > y;
251 case IRT_GQ:
return x >= y;