37namespace Test {
namespace Int {
67 member(home, y,
x[
n]);
77 member(home, y,
x[
n],
r);
100 y[i] = channel(home,
x[i]);
101 member(home, y, channel(home,
x[
n]));
107 int n =
x.size() - 1;
110 y[i] = channel(home,
x[i]);
111 member(home, y, channel(home,
x[
n]),
r);
120 for (
int i=0; i<=4; i++) {
int n
Number of negative literals for node type.
Node * x
Pointer to corresponding Boolean expression node.
Passing Boolean variables.
Passing integer variables.
Reification specification.
Base class for assignments
Test membership for Boolean variables
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x, Gecode::Reify r)
Post reified constraint on x for r.
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)
Post constraint on x.
Bool(int n)
Create and register test.
virtual bool solution(const Assignment &x) const
Test whether x is solution
Help class to create and register tests.
Create(void)
Perform creation and registration.
Test membership for integer variables
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)
Post constraint on x.
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x, Gecode::Reify r)
Post reified constraint on x for r.
Int(int n)
Create and register test.
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.
Gecode toplevel namespace