Test for cardinality constraint More...
Public Member Functions | |
Construct (void) | |
Create and register test. | |
virtual bool | solution (const SetAssignment &) const |
Test whether x is solution | |
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) |
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) |
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) |
void | con (Space &home, const IntSet &glb, const IntSet &lub, 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. |
Test for cardinality constraint
Test::Set::Var::Construct::Construct | ( | void | ) | [inline] |
Create and register test.
Definition at line 51 of file construct.cpp.
virtual bool Test::Set::Var::Construct::solution | ( | const SetAssignment & | ) | const [inline, virtual] |
Test whether x is solution
Implements Test::Set::SetTest.
Definition at line 54 of file construct.cpp.
void Test::Set::Var::Construct::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 |
||
) | [inline] |
Definition at line 57 of file construct.cpp.
void Test::Set::Var::Construct::con | ( | Space & | home, |
const IntSet & | glb, | ||
int | lubMin, | ||
int | lubMax, | ||
unsigned int | minCard = 0 , |
||
unsigned int | maxCard = Gecode::Set::Limits::card , |
||
bool | fail = true |
||
) | [inline] |
Definition at line 91 of file construct.cpp.
void Test::Set::Var::Construct::con | ( | Space & | home, |
int | glbMin, | ||
int | glbMax, | ||
const IntSet & | lub, | ||
unsigned int | minCard = 0 , |
||
unsigned int | maxCard = Gecode::Set::Limits::card , |
||
bool | fail = true |
||
) | [inline] |
Definition at line 123 of file construct.cpp.
void Test::Set::Var::Construct::con | ( | Space & | home, |
const IntSet & | glb, | ||
const IntSet & | lub, | ||
unsigned int | minCard = 0 , |
||
unsigned int | maxCard = Gecode::Set::Limits::card , |
||
bool | fail = true |
||
) | [inline] |
Definition at line 155 of file construct.cpp.
virtual void Test::Set::Var::Construct::post | ( | Space & | home, |
SetVarArray & | , | ||
IntVarArray & | |||
) | [inline, virtual] |