atmost.cc File Reference

(Revision: 5029)

#include "test/cpltset.hh"

Go to the source code of this file.

Namespaces
namespace	Test
namespace	Test::CpltSet
namespace	Test::CpltSet::AtMost
Classes
class	Test::CpltSet::AtMost::CpltSetAtmost
	Test for atmost intersection constraint. More...
class	Test::CpltSet::AtMost::CpltSetAtmostLexLe
	Test for atmost intersection with lexicographic order constraint. More...
class	Test::CpltSet::AtMost::CpltSetAtmostIntSet
	Test for atmost intersection with IntSet constraint. More...
Variables
CpltSetAtmost	Test::CpltSet::AtMost::_cpltsetatmost ("Atmost::1")
CpltSetAtmostLexLe	Test::CpltSet::AtMost::_cpltsetatmostlexle ("Atmost::Lex::Le")
CpltSetAtmostIntSet	Test::CpltSet::AtMost::_cpltsetatmostintset ("Atmost::IntSet")