
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.