Minimal modelling constraints (counting)
[Testing finite domain integers]
Classes | |
class | Test::Int::MiniModelCount::IntInt |
Test number of equal integers equal to integer More... | |
class | Test::Int::MiniModelCount::IntVar |
Test number of equal integers equal to integer variable More... | |
class | Test::Int::MiniModelCount::VarVar |
Test number of equal variables equal to integer variable More... | |
class | Test::Int::MiniModelCount::VarInt |
Test number of equal variables equal to integer More... | |
class | Test::Int::MiniModelCount::IntArrayInt |
Test number of several equal integers equal to integer More... | |
class | Test::Int::MiniModelCount::IntArrayVar |
Test number of several equal integers equal to integer variable More... | |
class | Test::Int::MiniModelCount::Create |
Help class to create and register tests. More... | |
Variables | |
Gecode::IntArgs | Test::Int::MiniModelCount::ints (4, 1, 0, 3, 2) |
Create | Test::Int::MiniModelCount::c |
Variable Documentation
Gecode::IntArgs Test::Int::MiniModelCount::ints(4, 1, 0, 3, 2) |
Create Test::Int::MiniModelCount::c |
Definition at line 284 of file mm-count.cpp.