Test::CpltSet::Selection::CpltSetSelectNonEmptySub Class Reference
[Selection constraints]
Inherits Test::CpltSet::CpltSetTest.
Detailed Description
Test for selected non-empty subset constraint.Definition at line 113 of file select.cc.
Public Member Functions | |
CpltSetSelectNonEmptySub (const char *t) | |
Create and register test. | |
virtual bool | solution (const SetAssignment &x) const |
Test whether x is solution. | |
virtual void | post (Space *home, CpltSetVarArray &x, IntVarArray &) |
Post constraint on x. |
Constructor & Destructor Documentation
Test::CpltSet::Selection::CpltSetSelectNonEmptySub::CpltSetSelectNonEmptySub | ( | const char * | t | ) | [inline] |
Member Function Documentation
virtual bool Test::CpltSet::Selection::CpltSetSelectNonEmptySub::solution | ( | const SetAssignment & | x | ) | const [inline, virtual] |
virtual void Test::CpltSet::Selection::CpltSetSelectNonEmptySub::post | ( | Space * | home, | |
CpltSetVarArray & | x, | |||
IntVarArray & | ||||
) | [inline, virtual] |
The documentation for this class was generated from the following file:
- test/cpltset/select.cc (Revision: 5228)