Test for cardinality constraint
More...
List of all members.
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.
|
| SetTest (const std::string &s, int a, const Gecode::IntSet &d, bool r=false, int w=0) |
| Constructor.
|
virtual void | post (Gecode::Space &, Gecode::SetVarArray &, Gecode::IntVarArray &, Gecode::BoolVar) |
| Post reified propagator.
|
virtual bool | run (void) |
| Perform test.
|
| Base (const std::string &s) |
| Create and register test with name s.
|
const std::string & | name (void) const |
| Return name of test.
|
Base * | next (void) const |
| Return next test.
|
void | next (Base *n) |
| Set next test.
|
virtual | ~Base (void) |
| Destructor.
|
Additional Inherited Members |
static std::string | str (Gecode::SetRelType srt) |
| Map set relation to string.
|
static std::string | str (Gecode::SetOpType srt) |
| Map set operation to string.
|
static std::string | str (int i) |
| Map integer to string.
|
static std::string | str (const Gecode::IntArgs &i) |
| Map integer array to string.
|
Detailed Description
Test for cardinality constraint
Definition at line 48 of file construct.cpp.
Constructor & Destructor Documentation
Test::Set::Var::Construct::Construct |
( |
void |
| ) |
|
|
inline |
Member Function Documentation
virtual bool Test::Set::Var::Construct::solution |
( |
const SetAssignment & |
| ) |
const |
|
inlinevirtual |
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 |
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 |
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 |
The documentation for this class was generated from the following file: