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