Membership constraints
[Testing finite domain integers]
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... | |
Variables | |
Create | Test::Int::Member::c |
Variable Documentation
Create Test::Int::Member::c |
Definition at line 131 of file member.cpp.