Test::Int::NoOverlap::VarOptShared2 Class Reference
[No-overlap constraints]
Test for no-overlap with optional rectangles and shared variables More...
Public Member Functions | |
| VarOptShared2 (int m, int n) | |
| Create and register test with maximal value m and n rectangles. | |
| virtual bool | solution (const Assignment &xwyho) const |
| Test whether xwyho is solution | |
| virtual void | post (Gecode::Space &home, Gecode::IntVarArray &xwyho) |
| Post constraint on xwyho. | |
Detailed Description
Test for no-overlap with optional rectangles and shared variables
Definition at line 213 of file no-overlap.cpp.
Constructor & Destructor Documentation
| Test::Int::NoOverlap::VarOptShared2::VarOptShared2 | ( | int | m, | |
| int | n | |||
| ) | [inline] |
Create and register test with maximal value m and n rectangles.
Definition at line 216 of file no-overlap.cpp.
Member Function Documentation
| virtual bool Test::Int::NoOverlap::VarOptShared2::solution | ( | const Assignment & | xwyho | ) | const [inline, virtual] |
Test whether xwyho is solution
Implements Test::Int::Test.
Definition at line 222 of file no-overlap.cpp.
| virtual void Test::Int::NoOverlap::VarOptShared2::post | ( | Gecode::Space & | home, | |
| Gecode::IntVarArray & | xwyho | |||
| ) | [inline, virtual] |
Post constraint on xwyho.
Implements Test::Int::Test.
Definition at line 241 of file no-overlap.cpp.
The documentation for this class was generated from the following file:
- test/int/no-overlap.cpp