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
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 .
Test membership for Boolean variables
void member(Home home, const BoolVarArgs &x, BoolVar y, Reify r, IntConLevel)
Post domain consistent propagator for .
virtual bool solution(const Assignment &x) const
Test whether x is solution
static std::string str(Gecode::ExtensionalPropKind epk)
Map extensional propagation kind to string.
Int(int n)
Create and register test.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
virtual bool solution(const Assignment &x) const
Test whether x is solution
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.
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
Bool(int n)
Create and register test.
Gecode toplevel namespace
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)
Post constraint on x.
int size(void) const
Return size of array (number of elements)
int size(void) const
Return number of variables.