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 356 of file element.cpp.
Constructor & Destructor Documentation
| Test::Set::Element::MatrixIntSet::MatrixIntSet | ( | void | ) | [inline] |
Create and register test.
Definition at line 362 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 369 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 382 of file element.cpp.
Member Data Documentation
Array for test matrix.
Definition at line 359 of file element.cpp.
The documentation for this class was generated from the following file:
- test/set/element.cpp (Revision: 12253)