
Testing finite sets. More...
Namespaces | |
| namespace | Channel |
| Tests for set channeling constraints | |
| 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 | Rel |
| Tests for relation constraints | |
| namespace | RelOp |
| Tests for relation/operation constraints | |
| namespace | RelOpConst |
| Tests for relation/operation constraints with constants | |
| namespace | Sequence |
| Tests for sequence constraints | |
| namespace | 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 | 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.