38namespace Test {
namespace Set {
54 int lubMin,
int lubMax,
192 con(home, 1,0, 1,1, 2,3);
198 con(home, 1,3, 1,4, 0,2);
Node * x
Pointer to corresponding Boolean expression node.
static const IntSet empty
Empty set.
Exception: Variable created with empty domain
Base class for variables.
Generate all set assignments.
Base class for tests with set constraints
virtual bool run(void)
Perform test.
Test for cardinality constraint
void con(Space &home, const IntSet &glb, int lubMin, int lubMax, unsigned int minCard=0, unsigned int maxCard=Gecode::Set::Limits::card, bool fail=true)
virtual void post(Space &home, SetVarArray &, IntVarArray &)
Post constraint on x.
void con(Space &home, int glbMin, int glbMax, int lubMin, int lubMax, unsigned int minCard=0, unsigned int maxCard=Gecode::Set::Limits::card, bool fail=true)
Construct(void)
Create and register test.
void con(Space &home, const IntSet &glb, const IntSet &lub, unsigned int minCard=0, unsigned int maxCard=Gecode::Set::Limits::card, bool fail=true)
void con(Space &home, int glbMin, int glbMax, const IntSet &lub, unsigned int minCard=0, unsigned int maxCard=Gecode::Set::Limits::card, bool fail=true)
virtual bool solution(const SetAssignment &) const
Test whether x is solution
void fail(void)
Fail space.
const unsigned int card
Maximum cardinality of an integer set.
Gecode toplevel namespace