Test::Set::SetTest Class Reference
[General set test support]

#include <set.hh>

Inherits Test::Base.

Inherited by Test::Set::Convex::Convex, Test::Set::Convex::ConvexHull, Test::Set::Convex::ConvexHullS, Test::Set::Distinct::AtmostOne, Test::Set::Dom::CardRange, Test::Set::Dom::DomDom, Test::Set::Dom::DomInt, Test::Set::Dom::DomIntRange, Test::Set::Dom::DomRange, Test::Set::Element::ElementDisjoint, Test::Set::Element::ElementInter, Test::Set::Element::ElementInterIn, Test::Set::Element::ElementSet, Test::Set::Element::ElementSetConst, Test::Set::Element::ElementUnion, Test::Set::Element::ElementUnionConst, Test::Set::Int::Card, Test::Set::Int::ChannelBool, Test::Set::Int::ChannelInt, Test::Set::Int::Elem, Test::Set::Int::IntRel, Test::Set::Int::Match, Test::Set::Int::Max, Test::Set::Int::Min, Test::Set::Int::NoElem, Test::Set::Int::Rel, Test::Set::Int::Weights, Test::Set::Projection::NegRelUnionEq, Test::Set::Projection::RelBinCompl, Test::Set::Projection::RelBinDisj, Test::Set::Projection::RelBinEq, Test::Set::Projection::RelBinNEq, Test::Set::Projection::RelBinSub, Test::Set::Projection::RelInterEqCard, Test::Set::Projection::RelUnionEq, Test::Set::Projection::RelUnionEqFormula, Test::Set::Rel::RelBin, Test::Set::RelOp::Rel, Test::Set::RelOp::RelIntN, Test::Set::RelOp::RelN, Test::Set::RelOpConst::RelISI, Test::Set::RelOpConst::RelSIS, Test::Set::RelOpConst::RelSSI, Test::Set::Sequence::SeqU, and Test::Set::Sequence::Sequence.

List of all members.

---

Detailed Description

Base class for tests with set constraints.

Definition at line 186 of file set.hh.

Mapping scalar values to strings
static std::string	str (Gecode::SetRelType srt)
	Map set relation to string.
static std::string	str (Gecode::SetOpType srt)
	Map set operation to string.
static std::string	str (int i)
	Map integer to string.
Public Member Functions
	SetTest (const std::string &s, int a, const Gecode::IntSet &d, bool r=false, int w=0)
	Constructor.
virtual bool	solution (const SetAssignment &) const =0
	Check for solution.
virtual void	post (Gecode::Space *home, Gecode::SetVarArray &x, Gecode::IntVarArray &y)=0
	Post propagator.
virtual void	post (Gecode::Space *, Gecode::SetVarArray &, Gecode::IntVarArray &, Gecode::BoolVar)
	Post reified propagator.
virtual bool	run (void)
	Perform test.

---

Constructor & Destructor Documentation

Test::Set::SetTest::SetTest	(	const std::string &	s,
		int	a,
		const Gecode::IntSet &	d,
		bool	r = false,
		int	w = 0
	)			[inline]

Constructor.

Constructs a test with name t and arity a and variable domain d. Also tests for a reified constraint, if r is true. In addition, w integer variables are provided.

Definition at line 211 of file set.hh.

---

Member Function Documentation

virtual bool Test::Set::SetTest::solution

(

const SetAssignment &

)

const [pure virtual]

Check for solution.

Implemented in Test::Set::Convex::Convex, Test::Set::Convex::ConvexHull, Test::Set::Convex::ConvexHullS, Test::Set::Distinct::AtmostOne, Test::Set::Dom::DomRange, Test::Set::Dom::DomIntRange, Test::Set::Dom::DomInt, Test::Set::Dom::DomDom, Test::Set::Dom::CardRange, Test::Set::Int::Card, Test::Set::Int::Min, Test::Set::Int::Max, Test::Set::Int::Elem, Test::Set::Int::NoElem, Test::Set::Int::Rel, Test::Set::Int::IntRel, Test::Set::Int::Weights, Test::Set::Int::Match, Test::Set::Int::ChannelInt, Test::Set::Int::ChannelBool, Test::Set::Projection::RelBinNEq, Test::Set::Projection::RelBinEq, Test::Set::Projection::RelBinSub, Test::Set::Projection::RelBinDisj, Test::Set::Projection::RelBinCompl, Test::Set::Projection::RelUnionEq, Test::Set::Projection::RelUnionEqFormula, Test::Set::Projection::RelInterEqCard, Test::Set::Projection::NegRelUnionEq, Test::Set::RelOpConst::RelSIS, Test::Set::RelOpConst::RelSSI, Test::Set::RelOpConst::RelISI, Test::Set::RelOp::Rel, Test::Set::RelOp::RelN, Test::Set::RelOp::RelIntN, Test::Set::Rel::RelBin, Test::Set::Element::ElementUnion, Test::Set::Element::ElementUnionConst, Test::Set::Element::ElementInter, Test::Set::Element::ElementInterIn, Test::Set::Element::ElementDisjoint, Test::Set::Element::ElementSet, Test::Set::Element::ElementSetConst, Test::Set::Sequence::Sequence, and Test::Set::Sequence::SeqU.

virtual void Test::Set::SetTest::post	(	Gecode::Space *	home,
		Gecode::SetVarArray &	x,
		Gecode::IntVarArray &	y
	)			[pure virtual]

Post propagator.

Implemented in Test::Set::Convex::Convex, Test::Set::Convex::ConvexHull, Test::Set::Convex::ConvexHullS, Test::Set::Distinct::AtmostOne, Test::Set::Dom::DomRange, Test::Set::Dom::DomIntRange, Test::Set::Dom::DomInt, Test::Set::Dom::DomDom, Test::Set::Dom::CardRange, Test::Set::Int::Card, Test::Set::Int::Min, Test::Set::Int::Max, Test::Set::Int::Elem, Test::Set::Int::NoElem, Test::Set::Int::Rel, Test::Set::Int::IntRel, Test::Set::Int::Weights, Test::Set::Int::Match, Test::Set::Int::ChannelInt, Test::Set::Int::ChannelBool, Test::Set::Projection::RelBinNEq, Test::Set::Projection::RelBinEq, Test::Set::Projection::RelBinSub, Test::Set::Projection::RelBinDisj, Test::Set::Projection::RelBinCompl, Test::Set::Projection::RelUnionEq, Test::Set::Projection::RelUnionEqFormula, Test::Set::Projection::RelInterEqCard, Test::Set::Projection::NegRelUnionEq, Test::Set::RelOpConst::RelSIS, Test::Set::RelOpConst::RelSSI, Test::Set::RelOpConst::RelISI, Test::Set::RelOp::Rel, Test::Set::RelOp::RelN, Test::Set::RelOp::RelIntN, Test::Set::Rel::RelBin, Test::Set::Element::ElementUnion, Test::Set::Element::ElementUnionConst, Test::Set::Element::ElementInter, Test::Set::Element::ElementInterIn, Test::Set::Element::ElementDisjoint, Test::Set::Element::ElementSet, Test::Set::Element::ElementSetConst, Test::Set::Sequence::Sequence, and Test::Set::Sequence::SeqU.

virtual void Test::Set::SetTest::post	(	Gecode::Space *	,
		Gecode::SetVarArray &	,
		Gecode::IntVarArray &	,
		Gecode::BoolVar
	)			[inline, virtual]

Post reified propagator.

Reimplemented in Test::Set::Dom::DomRange, Test::Set::Dom::DomIntRange, Test::Set::Dom::DomInt, Test::Set::Dom::DomDom, Test::Set::Int::Elem, Test::Set::Int::Rel, Test::Set::Projection::RelBinEq, Test::Set::Projection::RelBinSub, Test::Set::Projection::RelBinDisj, Test::Set::Projection::RelBinCompl, Test::Set::Projection::RelUnionEq, and Test::Set::Rel::RelBin.

Definition at line 220 of file set.hh.

bool Test::Set::SetTest::run

(

void

)

[virtual]

Perform test.

Implements Test::Base.

Definition at line 543 of file set.cc.

std::string Test::Set::SetTest::str

(

Gecode::SetRelType

srt

)

[inline, static]

Map set relation to string.

Definition at line 50 of file set.icc.

std::string Test::Set::SetTest::str

(

Gecode::SetOpType

srt

)

[inline, static]

Map set operation to string.

Definition at line 64 of file set.icc.

std::string Test::Set::SetTest::str

(

int

i

)

[inline, static]

Map integer to string.

Definition at line 42 of file set.icc.

---

The documentation for this class was generated from the following files:

• test/set.hh (Revision: 6241)
• test/set.cc (Revision: 6328)
• test/set.icc (Revision: 6261)