Tests for sorted constraints More...
Classes | |
| class | SortIntMin |
| Relation for sorting integers in increasing order. More... | |
| class | NoVar |
| Test sorted without permutation variables More... | |
| class | PermVar |
| Test sorted with permutation variables More... | |
Variables | |
| NoVar | novar |
| PermVar | permvar |
Tests for sorted constraints