Test::Set Namespace Reference

Testing finite sets. More...

## Namespaces

namespace | Channel
| Tests for set channeling constraints
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 | 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.