partition.cc File Reference

(Revision: 5228)

#include "test/cpltset.hh"

Go to the source code of this file.

Namespaces
namespace	Test
namespace	Test::CpltSet
namespace	Test::CpltSet::Partition
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")