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. |