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