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") |