Number of values constraints
[Testing finite domain integers]
Classes | |
class | Test::Int::NValues::IntInt |
Test number of values of integer variables equal to integer More... | |
class | Test::Int::NValues::IntVar |
Test number of values of integer variables equal to integer variable More... | |
class | Test::Int::NValues::BoolInt |
Test number of values of Boolean variables equal to integer More... | |
class | Test::Int::NValues::BoolVar |
Test number of values of Boolean variables equal to integer variable More... | |
class | Test::Int::NValues::Create |
Help class to create and register tests. More... | |
Variables | |
Create | Test::Int::NValues::c |
Variable Documentation
Create Test::Int::NValues::c |
Definition at line 230 of file nvalues.cpp.