Projection constraints
[Testing finite sets]

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...
Functions
virtual bool	Test::Set::Projection::RelBinNEq::solution (const SetAssignment &x) const
	Test whether x is solution.
virtual void	Test::Set::Projection::RelBinNEq::post (Space *home, SetVarArray &x, IntVarArray &)
	Post constraint on x.
virtual bool	Test::Set::Projection::RelBinEq::solution (const SetAssignment &x) const
	Test whether x is solution.
virtual void	Test::Set::Projection::RelBinEq::post (Space *home, SetVarArray &x, IntVarArray &)
	Post constraint on x.
virtual void	Test::Set::Projection::RelBinEq::post (Space *home, SetVarArray &x, IntVarArray &, BoolVar b)
	Post reified constraint on x for b.
virtual bool	Test::Set::Projection::RelBinSub::solution (const SetAssignment &x) const
	Test whether x is solution.
virtual void	Test::Set::Projection::RelBinSub::post (Space *home, SetVarArray &x, IntVarArray &)
	Post constraint on x.
virtual void	Test::Set::Projection::RelBinSub::post (Space *home, SetVarArray &x, IntVarArray &, BoolVar b)
	Post reified constraint on x for b.
virtual bool	Test::Set::Projection::RelBinDisj::solution (const SetAssignment &x) const
	Test whether x is solution.
virtual void	Test::Set::Projection::RelBinDisj::post (Space *home, SetVarArray &x, IntVarArray &)
	Post constraint on x.
virtual void	Test::Set::Projection::RelBinDisj::post (Space *home, SetVarArray &x, IntVarArray &, BoolVar b)
	Post reified constraint on x for b.
virtual bool	Test::Set::Projection::RelBinCompl::solution (const SetAssignment &x) const
	Test whether x is solution.
virtual void	Test::Set::Projection::RelBinCompl::post (Space *home, SetVarArray &x, IntVarArray &)
	Post constraint on x.
virtual void	Test::Set::Projection::RelBinCompl::post (Space *home, SetVarArray &x, IntVarArray &, BoolVar b)
	Post reified constraint on x for b.
virtual bool	Test::Set::Projection::RelUnionEq::solution (const SetAssignment &x) const
	Test whether x is solution.
virtual void	Test::Set::Projection::RelUnionEq::post (Space *home, SetVarArray &x, IntVarArray &)
	Post constraint on x.
virtual void	Test::Set::Projection::RelUnionEq::post (Space *home, SetVarArray &x, IntVarArray &, BoolVar b)
	Post reified constraint on x for b.
virtual bool	Test::Set::Projection::RelUnionEqFormula::solution (const SetAssignment &x) const
	Test whether x is solution.
virtual void	Test::Set::Projection::RelUnionEqFormula::post (Space *home, SetVarArray &x, IntVarArray &)
	Post constraint on x.
virtual bool	Test::Set::Projection::RelInterEqCard::solution (const SetAssignment &x) const
	Test whether x is solution.
virtual void	Test::Set::Projection::RelInterEqCard::post (Space *home, SetVarArray &x, IntVarArray &)
	Post constraint on x.
virtual bool	Test::Set::Projection::NegRelUnionEq::solution (const SetAssignment &x) const
	Test whether x is solution.
virtual void	Test::Set::Projection::NegRelUnionEq::post (Space *home, SetVarArray &x, IntVarArray &)
	Post constraint on x.
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")

---

Function Documentation

virtual bool Test::Set::Projection::RelBinNEq::solution

(

const SetAssignment &

x

)

const [inline, virtual, inherited]

Test whether x is solution.

Implements Test::Set::SetTest.

Definition at line 65 of file projection.cc.

virtual void Test::Set::Projection::RelBinNEq::post	(	Space *	home,
		SetVarArray &	x,
		IntVarArray &
	)			[inline, virtual, inherited]

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 71 of file projection.cc.

virtual bool Test::Set::Projection::RelBinEq::solution

(

const SetAssignment &

x

)

const [inline, virtual, inherited]

Test whether x is solution.

Implements Test::Set::SetTest.

Definition at line 88 of file projection.cc.

virtual void Test::Set::Projection::RelBinEq::post	(	Space *	home,
		SetVarArray &	x,
		IntVarArray &
	)			[inline, virtual, inherited]

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 94 of file projection.cc.

virtual void Test::Set::Projection::RelBinEq::post	(	Space *	home,
		SetVarArray &	x,
		IntVarArray &	,
		BoolVar	b
	)			[inline, virtual, inherited]

Post reified constraint on x for b.

Reimplemented from Test::Set::SetTest.

Definition at line 105 of file projection.cc.

virtual bool Test::Set::Projection::RelBinSub::solution

(

const SetAssignment &

x

)

const [inline, virtual, inherited]

Test whether x is solution.

Implements Test::Set::SetTest.

Definition at line 123 of file projection.cc.

virtual void Test::Set::Projection::RelBinSub::post	(	Space *	home,
		SetVarArray &	x,
		IntVarArray &
	)			[inline, virtual, inherited]

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 129 of file projection.cc.

virtual void Test::Set::Projection::RelBinSub::post	(	Space *	home,
		SetVarArray &	x,
		IntVarArray &	,
		BoolVar	b
	)			[inline, virtual, inherited]

Post reified constraint on x for b.

Reimplemented from Test::Set::SetTest.

Definition at line 137 of file projection.cc.

virtual bool Test::Set::Projection::RelBinDisj::solution

(

const SetAssignment &

x

)

const [inline, virtual, inherited]

Test whether x is solution.

Implements Test::Set::SetTest.

Definition at line 155 of file projection.cc.

virtual void Test::Set::Projection::RelBinDisj::post	(	Space *	home,
		SetVarArray &	x,
		IntVarArray &
	)			[inline, virtual, inherited]

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 161 of file projection.cc.

virtual void Test::Set::Projection::RelBinDisj::post	(	Space *	home,
		SetVarArray &	x,
		IntVarArray &	,
		BoolVar	b
	)			[inline, virtual, inherited]

Post reified constraint on x for b.

Reimplemented from Test::Set::SetTest.

Definition at line 169 of file projection.cc.

virtual bool Test::Set::Projection::RelBinCompl::solution

(

const SetAssignment &

x

)

const [inline, virtual, inherited]

Test whether x is solution.

Implements Test::Set::SetTest.

Definition at line 187 of file projection.cc.

virtual void Test::Set::Projection::RelBinCompl::post	(	Space *	home,
		SetVarArray &	x,
		IntVarArray &
	)			[inline, virtual, inherited]

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 194 of file projection.cc.

virtual void Test::Set::Projection::RelBinCompl::post	(	Space *	home,
		SetVarArray &	x,
		IntVarArray &	,
		BoolVar	b
	)			[inline, virtual, inherited]

Post reified constraint on x for b.

Reimplemented from Test::Set::SetTest.

Definition at line 202 of file projection.cc.

virtual bool Test::Set::Projection::RelUnionEq::solution

(

const SetAssignment &

x

)

const [inline, virtual, inherited]

Test whether x is solution.

Implements Test::Set::SetTest.

Definition at line 220 of file projection.cc.

virtual void Test::Set::Projection::RelUnionEq::post	(	Space *	home,
		SetVarArray &	x,
		IntVarArray &
	)			[inline, virtual, inherited]

Post constraint on x.

Post constraint on x

Post constraint on x

Post constraint on x

Implements Test::Set::SetTest.

Definition at line 229 of file projection.cc.

virtual void Test::Set::Projection::RelUnionEq::post	(	Space *	home,
		SetVarArray &	x,
		IntVarArray &	,
		BoolVar	b
	)			[inline, virtual, inherited]

Post reified constraint on x for b.

Reimplemented from Test::Set::SetTest.

Definition at line 281 of file projection.cc.

virtual bool Test::Set::Projection::RelUnionEqFormula::solution

(

const SetAssignment &

x

)

const [inline, virtual, inherited]

Test whether x is solution.

Implements Test::Set::SetTest.

Definition at line 309 of file projection.cc.

virtual void Test::Set::Projection::RelUnionEqFormula::post	(	Space *	home,
		SetVarArray &	x,
		IntVarArray &
	)			[inline, virtual, inherited]

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 318 of file projection.cc.

virtual bool Test::Set::Projection::RelInterEqCard::solution

(

const SetAssignment &

x

)

const [inline, virtual, inherited]

Test whether x is solution.

Implements Test::Set::SetTest.

Definition at line 333 of file projection.cc.

virtual void Test::Set::Projection::RelInterEqCard::post	(	Space *	home,
		SetVarArray &	x,
		IntVarArray &
	)			[inline, virtual, inherited]

Post constraint on x.

Post constraint on x

Post constraint on x

Post constraint on x

Implements Test::Set::SetTest.

Definition at line 342 of file projection.cc.

virtual bool Test::Set::Projection::NegRelUnionEq::solution

(

const SetAssignment &

x

)

const [inline, virtual, inherited]

Test whether x is solution.

Implements Test::Set::SetTest.

Definition at line 404 of file projection.cc.

virtual void Test::Set::Projection::NegRelUnionEq::post	(	Space *	home,
		SetVarArray &	x,
		IntVarArray &
	)			[inline, virtual, inherited]

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 413 of file projection.cc.

---

Variable Documentation

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