Minimal modelling constraints (relation)
[Testing finite domain integers]
Classes | |
| class | Test::Int::MiniModel::IntLex |
| Test for relation between arrays of integer variables More... | |
| class | Test::Int::MiniModel::BoolLex |
| Test for relation between arrays of Boolean variables More... | |
| class | Test::Int::MiniModel::Create |
| Help class to create and register tests. More... | |
Variables | |
| Create | Test::Int::MiniModel::c |
Variable Documentation
| Create Test::Int::MiniModel::c |
Definition at line 125 of file mm-rel.cpp.