Partition constraints
[Testing finite sets with complete domain representation]
Classes | |
| class | Test::CpltSet::Partition::CpltSetPartition |
| Test for partition constraint. More... | |
| class | Test::CpltSet::Partition::CpltSetPartitionLex |
| Test for partition with lexicographic order constraint. More... | |
| class | Test::CpltSet::Partition::CpltSetPartitionNaryOne |
| Test for partition with result constraint. More... | |
| class | Test::CpltSet::Partition::CpltSetPartitionNaryOneBigger |
| Test for bigger instance of partition constraint. More... | |
Variables | |
| CpltSetPartition | Test::CpltSet::Partition::_cpltsetpartition ("Partition") |
| CpltSetPartitionLex | Test::CpltSet::Partition::_cpltsetpartitionlex ("Partition::Lex") |
| CpltSetPartitionNaryOne | Test::CpltSet::Partition::_cpltsetpartitionnaryone ("Partition::NaryOne") |
| CpltSetPartitionNaryOneBigger | Test::CpltSet::Partition::_cpltsetpartitionnaryonebigger ("Partition::NaryOne::Bigger") |
Variable Documentation
| CpltSetPartition Test::CpltSet::Partition::_cpltsetpartition("Partition") |
| CpltSetPartitionLex Test::CpltSet::Partition::_cpltsetpartitionlex("Partition::Lex") |
| CpltSetPartitionNaryOne Test::CpltSet::Partition::_cpltsetpartitionnaryone("Partition::NaryOne") |
| CpltSetPartitionNaryOneBigger Test::CpltSet::Partition::_cpltsetpartitionnaryonebigger("Partition::NaryOne::Bigger") |
