41 namespace Test {
namespace Int {
101 int n =
x.size() - 1;
111 int n =
x.size() - 1;
124 for (
int i=0;
i<=4;
i++) {
Test membership for integer variables
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.
void channel(Home home, FloatVar x0, IntVar x1)
Post propagator for channeling a float and an integer variable .
void member(Home home, const BoolVarArgs &x, BoolVar y, Reify r, IntPropLevel)
Post domain consistent propagator for .
Test membership for Boolean variables
Int(int n)
Create and register test.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
Create(void)
Perform creation and registration.
Reification specification.
Passing integer variables.
Passing Boolean variables.
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x, Gecode::Reify r)
Post reified constraint on x for r.
Post propagator for SetVar SetOpType SetVar y
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x, Gecode::Reify r)
Post reified constraint on x for r.
Node * x
Pointer to corresponding Boolean expression node.
Help class to create and register tests.
Base class for assignments
virtual bool solution(const Assignment &x) const
Test whether x is solution
virtual bool solution(const Assignment &x) const
Test whether x is solution
Bool(int n)
Create and register test.
Gecode toplevel namespace
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)
Post constraint on x.