Test::Set Namespace Reference

---

Detailed Description

Testing finite sets.

Classes
class	SetTestSpace
	Space for executing set tests. More...
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	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...
Namespaces
namespace	Convex
	Tests for convexity constraints.
namespace	Distinct
	Tests for distinctness constraints.
namespace	Dom
	Tests for domain constraints.
namespace	Int
	Tests for combined int/set constraints.
namespace	Projection
	Tests for projection constraints.
namespace	RelOpConst
	Tests for relation/operation constraints with constants.
namespace	RelOp
	Tests for relation/operation constraints.
namespace	Rel
	Tests for relation constraints.
namespace	Element
	Tests for set element constraints.
namespace	Sequence
	Tests for sequence constraints.