37namespace Test {
namespace Int {
55 :
Test(
"Order::"+
str(_p0)+
"::"+
str(_p1),3,0,6),
59 int s0 = x[0], s1 = x[1], b = x[2];
62 return ((s0+
p0<=s1) && (b == 0)) || ((s1+
p1<=s0) && (b == 1));
67 order(home, x[0],
p0, x[1],
p1, channel(home, x[2]));
75 for (
int i=1; i<=4; i++)
76 for (
int j=1; j<=4; j++)
Base class for assignments
Help class to create and register tests.
Create(void)
Perform creation and registration.
Test order for integer variables
virtual bool solution(const Assignment &x) const
Test whether x is solution
Int(int _p0, int _p1)
Create and register test.
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)
Post constraint on x.
static std::string str(Gecode::IntPropLevel ipl)
Map integer propagation level to string.
Gecode toplevel namespace