Test::Set Namespace Reference

Testing finite sets. More...

Namespaces
namespace	Var
	Tests for set variable conors.
namespace	Convex
	Tests for convexity constraints.
namespace	Distinct
	Tests for distinctness constraints.
namespace	Dom
	Tests for domain constraints.
namespace	Element
	Tests for set element constraints.
namespace	Exec
	Tests for synchronized execution.
namespace	Int
	Tests for combined int/set constraints.
namespace	RelOpConst
	Tests for relation/operation constraints with constants.
namespace	RelOp
	Tests for relation/operation constraints.
namespace	Rel
	Tests for relation constraints.
namespace	Sequence
	Tests for sequence constraints.
Classes
class	CountableSetValues
	Value iterator producing subsets of an IntSet. More...
class	CountableSetRanges
	Range iterator producing subsets of an IntSet. More...
class	CountableSet
	Iterate all subsets of a given set. More...
class	SetAssignment
	Generate all set assignments. More...
class	SetTestSpace
	Space for executing set tests. More...
class	SetTest
	Base class for tests with set constraints. More...
class	SetRelTypes
	Iterator for set relation types. More...
class	SetOpTypes
	Iterator for Boolean operation types. More...

---

Detailed Description

Testing finite sets.