No-overlap constraints
[Testing finite domain integers]
Classes | |
| class | Test::Int::NoOverlap::Int2 |
| Test for no-overlap with integer dimensions (rectangles) More... | |
| class | Test::Int::NoOverlap::IntOpt2 |
| Test for no-overlap with optional rectangles More... | |
| class | Test::Int::NoOverlap::Var2 |
| Test for no-overlap with variable dimensions (rectangles) More... | |
| class | Test::Int::NoOverlap::VarOpt2 |
| Test for no-overlap with optional rectangles More... | |
| class | Test::Int::NoOverlap::VarOptShared2 |
| Test for no-overlap with optional rectangles and shared variables More... | |
| class | Test::Int::NoOverlap::Create |
| Help class to create and register tests. More... | |
Variables | |
| Create | Test::Int::NoOverlap::c |
Variable Documentation
| Create Test::Int::NoOverlap::c |
Definition at line 293 of file no-overlap.cpp.