Test::Int::GCC Namespace Reference

---

Detailed Description

Tests for counting constraints (global cardinality).

Classes
class	IntAllMinMax
	Test for integer cardinality with min and max for all variables. More...
class	IntAllMinMaxDef
	Test for integer cardinality with min and max for all variables. More...
class	IntAllMax
	Test for integer cardinality with max cardinality for all variables. More...
class	IntSome
	Test for integer cardinality for some variables. More...
class	VarAll
	Test for variable cardinality for all cardinality values. More...
class	VarSome
	Test for variable cardinality for some cardinality values. More...
class	Create
	Help class to create and register tests. More...
Variables
Create	c