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