rel.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::Rel
Classes
class	Test::CpltSet::Rel::CpltSetRelLe
	Test for lexicographic less relation constraint. More...
class	Test::CpltSet::Rel::CpltSetRelLq
	Test for lexicographic less-or-equal relation constraint. More...
class	Test::CpltSet::Rel::CpltSetRelLeDiff
	Test for lexicographic less diff constraint. More...
class	Test::CpltSet::Rel::CpltSetRelDisj
	Test for disjoint constraint. More...
Variables
CpltSetRelLe	Test::CpltSet::Rel::_cpltsetrelle ("Rel::Le")
CpltSetRelLq	Test::CpltSet::Rel::_cpltsetrellq ("Rel::Lq")
CpltSetRelLe	Test::CpltSet::Rel::_cpltsetrellediff ("Rel::Le::Diff")
CpltSetRelDisj	Test::CpltSet::Rel::_cpltsetreldisj ("Rel::Disj")