projection.cc File Reference

(Revision: 5028)

#include "test/set.hh"
#include "gecode/set/projectors.hh"
#include "gecode/minimodel.hh"

Go to the source code of this file.

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