Test::Set::Element::MatrixIntSet Class Reference
[Element constraints]
Test for matrix element with integer set array and set variable More...
Public Member Functions | |
| MatrixIntSet (void) | |
| Create and register test. | |
| virtual bool | solution (const SetAssignment &x) const |
| Test whether x is solution | |
| virtual void | post (Gecode::Space &home, Gecode::SetVarArray &x, Gecode::IntVarArray &y) |
| Post constraint on x and y. | |
Protected Attributes | |
| Gecode::IntSetArgs | tm |
| Array for test matrix. | |
Detailed Description
Test for matrix element with integer set array and set variable
Definition at line 342 of file element.cpp.
Constructor & Destructor Documentation
| Test::Set::Element::MatrixIntSet::MatrixIntSet | ( | void | ) | [inline] |
Create and register test.
Definition at line 348 of file element.cpp.
Member Function Documentation
| virtual bool Test::Set::Element::MatrixIntSet::solution | ( | const SetAssignment & | x | ) | const [inline, virtual] |
Test whether x is solution
Implements Test::Set::SetTest.
Definition at line 355 of file element.cpp.
| virtual void Test::Set::Element::MatrixIntSet::post | ( | Gecode::Space & | home, | |
| Gecode::SetVarArray & | x, | |||
| Gecode::IntVarArray & | y | |||
| ) | [inline, virtual] |
Post constraint on x and y.
Implements Test::Set::SetTest.
Definition at line 368 of file element.cpp.
Member Data Documentation
Array for test matrix.
Definition at line 345 of file element.cpp.
The documentation for this class was generated from the following file:
- test/set/element.cpp