Test::Set::Projection Namespace Reference
Detailed Description
Tests for projection constraints.
Classes | |
class | RelBinNEq |
Test for binary disequality constraint. More... | |
class | RelBinEq |
Test for binary equality constraint. More... | |
class | RelBinSub |
Test for binary subset constraint. More... | |
class | RelBinDisj |
Test for binary disjointness constraint. More... | |
class | RelBinCompl |
Test for binary complement constraint. More... | |
class | RelUnionEq |
Test for ternary union constraint. More... | |
class | RelUnionEqFormula |
Test for ternary union constraint, posted using a formula. More... | |
class | RelInterEqCard |
Test for ternary intersection constraint with cardinality propagation. More... | |
class | NegRelUnionEq |
Test for negated ternary union constraint. More... | |
Variables | |
RelBinNEq | _relneq ("Proj::Rel::BinNEq") |
RelBinEq | _releq ("Proj::Rel::BinEq") |
RelBinSub | _relsub ("Proj::Rel::BinSub") |
RelBinDisj | _reldisj ("Proj::Rel::BinDisj") |
RelBinCompl | _relcompl ("Proj::Rel::BinCompl") |
RelUnionEq | _relunioneq ("Proj::RelOp::UnionEq") |
RelUnionEqFormula | _relunioneqfor ("Proj::Formula::RelOp::UnionEq") |
RelInterEqCard | _relintereqcard ("Proj::RelOp::InterEqCard") |
NegRelUnionEq | _negrelunioneq ("Proj::RelOp::NegUnionEq") |