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 |
PermVar Test::Int::Sorted::permvar |