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++)
struct Gecode::@603::NNF::@65::@66 b
For binary nodes (and, or, eqv)
Node * x
Pointer to corresponding Boolean expression node.
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