Relation constraints
[Testing finite sets with complete domain representation]
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") |
Variable Documentation
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") |