Go to the source code of this file.
Classes | |
class | Test::Int::Member::Int |
Test membership for integer variables More... | |
class | Test::Int::Member::Bool |
Test membership for Boolean variables More... | |
class | Test::Int::Member::Create |
Help class to create and register tests. More... |
Namespaces | |
namespace | Test |
General test support. | |
namespace | Test::Int |
Testing finite domain integers. | |
namespace | Test::Int::Member |
Tests for membership constraints |
Variables | |
Create | Test::Int::Member::c |