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));
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
void channel(Home home, FloatVar x0, IntVar x1)
Post propagator for channeling a float and an integer variable .
void order(Home home, IntVar s0, int p0, IntVar s1, int p1, BoolVar b, IntPropLevel ipl=IPL_DEF)
Post propagators for ordering two tasks.
Post propagator for SetVar x
Tests for order constraint
Testing finite domain integers.