Test::Int::Sorted Namespace Reference

---

Detailed Description

Tests for sorted constraints.

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