Sorted constraints
[Testing finite domain integers]
Classes | |
| class | Test::Int::Sorted::SortIntMin |
| Relation for sorting integers in increasing order. More... | |
| class | Test::Int::Sorted::NoVar |
| Test sorted without permutation variables More... | |
| class | Test::Int::Sorted::PermVar |
| Test sorted with permutation variables More... | |
Variables | |
| NoVar | Test::Int::Sorted::novar |
| PermVar | Test::Int::Sorted::permvar |
Variable Documentation
| NoVar Test::Int::Sorted::novar |
Definition at line 153 of file sorted.cpp.
| PermVar Test::Int::Sorted::permvar |
Definition at line 154 of file sorted.cpp.