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 | 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 | FakeSpace |
Fake space for creation of regions. 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 | 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.