38namespace Test {
namespace Set {
54 int lubMin,
int lubMax,
55 unsigned int minCard = 0,
60 SetVar x(home, glbMin, glbMax, lubMin, lubMax, minCard, maxCard);
73 glbMin, glbMax, lubMin, lubMax, minCard, maxCard);
88 unsigned int minCard = 0,
93 SetVar x(home, glb, lubMin, lubMax, minCard, maxCard);
105 glb, lubMin, lubMax, minCard, maxCard);
120 unsigned int minCard = 0,
125 SetVar x(home, glbMin, glbMax, lub, minCard, maxCard);
137 glbMin, glbMax, lub, minCard, maxCard);
152 unsigned int minCard = 0,
157 SetVar x(home, glb, lub, minCard, maxCard);
169 glb, lub, minCard, maxCard);
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
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