42 namespace Test {
namespace Set {
58 int lubMin,
int lubMax,
59 unsigned int minCard = 0,
64 SetVar x(home, glbMin, glbMax, lubMin, lubMax, minCard, maxCard);
77 glbMin, glbMax, lubMin, lubMax, minCard, maxCard);
92 unsigned int minCard = 0,
97 SetVar x(home, glb, lubMin, lubMax, minCard, maxCard);
109 glb, lubMin, lubMax, minCard, maxCard);
124 unsigned int minCard = 0,
129 SetVar x(home, glbMin, glbMax, lub, minCard, maxCard);
141 glbMin, glbMax, lub, minCard, maxCard);
156 unsigned int minCard = 0,
161 SetVar x(home, glb, lub, minCard, maxCard);
173 glb, lub, minCard, maxCard);
191 con(home,
IntSet(1,1), 1,0);
192 con(home, 1,1,
IntSet(1,0));
196 con(home, 1,0, 1,1, 2,3);
197 con(home,
IntSet(1,0), 1,1, 2,3);
198 con(home, 1,0,
IntSet(1,1), 2,3);
202 con(home, 1,3, 1,4, 0,2);
203 con(home,
IntSet(1,3), 1,4, 0,2);
204 con(home, 1,3,
IntSet(1,4), 0,2);
209 con(home,
IntSet(1,3), 2,4);
210 con(home, 1,3,
IntSet(2,4));
213 con(home,
IntSet(1,4), 1,3);
214 con(home, 1,4,
IntSet(1,3));
Test for cardinality constraint
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)
const unsigned int card
Maximum cardinality of an integer set.
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)
Exception: Variable created with empty domain
void fail(void)
Fail space.
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)
static const IntSet empty
Empty set.
void con(Space &home, const IntSet &glb, const IntSet &lub, unsigned int minCard=0, unsigned int maxCard=Gecode::Set::Limits::card, bool fail=true)
Base class for variables.
Node * x
Pointer to corresponding Boolean expression node.
Base class for tests with set constraints
Generate all set assignments.
Gecode toplevel namespace
Construct(void)
Create and register test.
virtual bool solution(const SetAssignment &) const
Test whether x is solution
virtual void post(Space &home, SetVarArray &, IntVarArray &)
Post constraint on x.