General test support
[Testing finite domain integers]
Classes | |
| class | Test::Int::Assignment |
| Base class for assignments. More... | |
| class | Test::Int::CpltAssignment |
| Generate all assignments. More... | |
| class | Test::Int::RandomAssignment |
| Generate random selection of assignments. More... | |
| class | Test::Int::TestSpace |
| Space for executing tests. More... | |
| class | Test::Int::Test |
| Base class for tests with integer constraints. More... | |
Enumerations | |
| enum | Test::Int::ConTestLevel { Test::Int::CTL_NONE, Test::Int::CTL_DOMAIN, Test::Int::CTL_BOUNDS_D, Test::Int::CTL_BOUNDS_Z } |
| Level of consistency to test for. More... | |
Enumeration Type Documentation