Testing finite sets with complete domain representation
[Testing]
Modules | |
Intersection constraints | |
Cardinality constraints | |
Domain constraints | |
Partition constraints | |
Relation constraints | |
Selection constraints | |
General CpltSet test support |