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