Test::CpltSet Namespace Reference
Detailed Description
Testing finite sets with complete domain representation.
Classes | |
class | CpltSetTestSpace |
Space for executing CpltSet tests. More... | |
class | CpltSetTest |
Base class for tests with CpltSet constraints. More... | |
Namespaces | |
namespace | AtMost |
Tests for intersection constraints. | |
namespace | Cardinality |
Tests for cardinality constraints. | |
namespace | Dom |
Tests for domain constraints. | |
namespace | Partition |
Tests for partition constraints. | |
namespace | Rel |
Tests for relation constraints. | |
namespace | Selection |
Tests for selection constraints. |