Test for cardinality constraint
More...
|
| | 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::Reify) |
| | 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.
|
| |
Test for cardinality constraint
Definition at line 44 of file construct.cpp.
◆ Construct()
| Test::Set::Var::Construct::Construct |
( |
void | | ) |
|
|
inline |
◆ solution()
| virtual bool Test::Set::Var::Construct::solution |
( |
const SetAssignment & | | ) |
const |
|
inlinevirtual |
◆ con() [1/4]
| 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 |
◆ con() [2/4]
| 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 |
◆ con() [3/4]
| 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 |
◆ con() [4/4]
◆ post()
The documentation for this class was generated from the following file: