Test::Set Namespace Reference

Testing finite sets. More...

Namespaces
namespace	Channel
	Tests for set channeling constraints
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	Precede
	Tests for value precedence 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.