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