44 namespace Test {
namespace Int {
57 :
Test(
"Precede::Single::"+
str(s0)+
"<"+
str(t0),8,1,4),
62 for (
int i = 0 ;
i <
n ;
i++) {
84 :
Test(
"Precede::Multi::"+
str(c0),6,1,5), c(c0) {
89 for (
int j=0; j<c.
size()-1; j++)
90 for (
int i=0;
i<
x.size();
i++) {
virtual bool solution(const Assignment &x) const
Test whether x is solution
static std::string str(Gecode::IntPropLevel ipl)
Map integer propagation level to string.
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)
Post constraint on x.
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)
Post constraint on x.
Test for single value precedence constraint
Test for multiple value precedence constraint
Multi _c(Gecode::IntArgs(3, 1, 2, 3))
virtual bool solution(const Assignment &x) const
Test whether x is solution
ConTestLevel contest
Whether to test for certain consistency.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
Multi _d(Gecode::IntArgs(3, 3, 2, 1))
Multi(const Gecode::IntArgs &c0)
Create and register test.
Passing integer arguments.
Node * x
Pointer to corresponding Boolean expression node.
void precede(Home home, const IntVarArgs &x, int s, int t, IntPropLevel)
Post propagator that s precedes t in x.
Base class for assignments
Single(int s0, int t0)
Create and register test.
FloatNum size(void) const
Return size of float value (distance between maximum and minimum)
Multi _e(Gecode::IntArgs(4, 4, 2, 3, 1))