Combined integer/set constraints
[Testing finite sets]

Classes
class	Test::Set::Int::Card
	Test for cardinality constraint. More...
class	Test::Set::Int::Min
	Test for minimal element constraint. More...
class	Test::Set::Int::Max
	Test for maximal element constraint. More...
class	Test::Set::Int::Elem
	Test for element constraint. More...
class	Test::Set::Int::NoElem
	Test for negated element constraint. More...
class	Test::Set::Int::Rel
	Test for relation constraint. More...
class	Test::Set::Int::IntRel
	Test for integer relation constraint. More...
class	Test::Set::Int::Weights
	Test for set weight constraint. More...
class	Test::Set::Int::Match
	Test for match constraint. More...
class	Test::Set::Int::ChannelInt
	Test for integer channel constraint. More...
class	Test::Set::Int::ChannelBool
	Test for Boolean channel constraint. More...
Functions
virtual bool	Test::Set::Int::Card::solution (const SetAssignment &x) const
	Test whether x is solution.
virtual void	Test::Set::Int::Card::post (Space *home, SetVarArray &x, IntVarArray &y)
	Post constraint on x.
virtual bool	Test::Set::Int::Min::solution (const SetAssignment &x) const
	Test whether x is solution.
virtual void	Test::Set::Int::Min::post (Space *home, SetVarArray &x, IntVarArray &y)
	Post constraint on x.
virtual bool	Test::Set::Int::Max::solution (const SetAssignment &x) const
	Test whether x is solution.
virtual void	Test::Set::Int::Max::post (Space *home, SetVarArray &x, IntVarArray &y)
	Post constraint on x.
virtual bool	Test::Set::Int::Elem::solution (const SetAssignment &x) const
	Test whether x is solution.
virtual void	Test::Set::Int::Elem::post (Space *home, SetVarArray &x, IntVarArray &y)
	Post constraint on x.
virtual void	Test::Set::Int::Elem::post (Space *home, SetVarArray &x, IntVarArray &y, BoolVar b)
	Post reified constraint on x for b.
virtual bool	Test::Set::Int::NoElem::solution (const SetAssignment &x) const
	Test whether x is solution.
virtual void	Test::Set::Int::NoElem::post (Space *home, SetVarArray &x, IntVarArray &y)
	Post constraint on x.
	Test::Set::Int::Rel::Rel (Gecode::SetRelType srt0, bool inverse0)
	Create and register test.
virtual bool	Test::Set::Int::Rel::solution (const SetAssignment &x) const
	Test whether x is solution.
virtual void	Test::Set::Int::Rel::post (Space *home, SetVarArray &x, IntVarArray &y)
	Post constraint on x.
virtual void	Test::Set::Int::Rel::post (Space *home, SetVarArray &x, IntVarArray &y, BoolVar b)
	Post reified constraint on x for b.
	Test::Set::Int::IntRel::IntRel (Gecode::IntRelType irt0, bool inverse0)
	Create and register test.
virtual bool	Test::Set::Int::IntRel::solution (const SetAssignment &x) const
	Test whether x is solution.
virtual void	Test::Set::Int::IntRel::post (Space *home, SetVarArray &x, IntVarArray &y)
	Post constraint on x.
template<class I>
int	Test::Set::Int::weightI (const IntArgs &elements, const IntArgs &weights, I &iter)
	Test::Set::Int::Weights::Weights (const char *t)
	Create and register test.
virtual bool	Test::Set::Int::Weights::solution (const SetAssignment &x) const
	Test whether x is solution.
virtual void	Test::Set::Int::Weights::post (Space *home, SetVarArray &x, IntVarArray &y)
	Post constraint on x.
virtual bool	Test::Set::Int::Match::solution (const SetAssignment &x) const
	Test whether x is solution.
virtual void	Test::Set::Int::Match::post (Space *home, SetVarArray &x, IntVarArray &y)
	Post constraint on x.
	Test::Set::Int::ChannelInt::ChannelInt (const char *t, const IntSet &d, int _ssize, int _isize)
	Create and register test.
virtual bool	Test::Set::Int::ChannelInt::solution (const SetAssignment &x) const
	Test whether x is solution.
virtual void	Test::Set::Int::ChannelInt::post (Space *home, SetVarArray &x, IntVarArray &y)
	Post constraint on x.
	Test::Set::Int::ChannelBool::ChannelBool (const char *t, const IntSet &d, int _isize)
	Create and register test.
virtual bool	Test::Set::Int::ChannelBool::solution (const SetAssignment &x) const
	Test whether x is solution.
virtual void	Test::Set::Int::ChannelBool::post (Space *home, SetVarArray &x, IntVarArray &y)
	Post constraint on x.
Variables
Card	Test::Set::Int::_card ("Int::Card")
Min	Test::Set::Int::_min ("Int::Min")
Max	Test::Set::Int::_max ("Int::Max")
Elem	Test::Set::Int::_elem ("Int::Elem")
NoElem	Test::Set::Int::_noelem ("Int::NoElem")
Rel	Test::Set::Int::_rel_eq (Gecode::SRT_EQ, false)
Rel	Test::Set::Int::_rel_nq (Gecode::SRT_NQ, false)
Rel	Test::Set::Int::_rel_sub (Gecode::SRT_SUB, false)
Rel	Test::Set::Int::_rel_sup (Gecode::SRT_SUP, false)
Rel	Test::Set::Int::_rel_disj (Gecode::SRT_DISJ, false)
Rel	Test::Set::Int::_rel_cmpl (Gecode::SRT_CMPL, false)
Rel	Test::Set::Int::_rel_eqi (Gecode::SRT_EQ, true)
Rel	Test::Set::Int::_rel_nqi (Gecode::SRT_NQ, true)
Rel	Test::Set::Int::_rel_subi (Gecode::SRT_SUB, true)
Rel	Test::Set::Int::_rel_supi (Gecode::SRT_SUP, true)
Rel	Test::Set::Int::_rel_disji (Gecode::SRT_DISJ, true)
Rel	Test::Set::Int::_rel_cmpli (Gecode::SRT_CMPL, true)
IntRel	Test::Set::Int::_intrel_eq (Gecode::IRT_EQ, false)
IntRel	Test::Set::Int::_intrel_nq (Gecode::IRT_NQ, false)
IntRel	Test::Set::Int::_intrel_gr (Gecode::IRT_GR, false)
IntRel	Test::Set::Int::_intrel_gq (Gecode::IRT_GQ, false)
IntRel	Test::Set::Int::_intrel_le (Gecode::IRT_LE, false)
IntRel	Test::Set::Int::_intrel_lq (Gecode::IRT_LQ, false)
IntRel	Test::Set::Int::_intrel_eqi (Gecode::IRT_EQ, true)
IntRel	Test::Set::Int::_intrel_nqi (Gecode::IRT_NQ, true)
IntRel	Test::Set::Int::_intrel_gri (Gecode::IRT_GR, true)
IntRel	Test::Set::Int::_intrel_gqi (Gecode::IRT_GQ, true)
IntRel	Test::Set::Int::_intrel_lei (Gecode::IRT_LE, true)
IntRel	Test::Set::Int::_intrel_lqi (Gecode::IRT_LQ, true)
IntArgs	Test::Set::Int::Weights::weights
Weights	Test::Set::Int::_weights ("Int::Weights")
Match	Test::Set::Int::_match ("Int::Match")
ChannelInt	Test::Set::Int::_channelint1 ("Int::Channel::Int::1", d2, 2, 3)
ChannelInt	Test::Set::Int::_channelint2 ("Int::Channel::Int::2", d3, 3, 3)
ChannelBool	Test::Set::Int::_channelbool1 ("Int::Channel::Bool::1", d2, 3)
ChannelBool	Test::Set::Int::_channelbool2 ("Int::Channel::Bool::2", d3, 3)
ChannelBool	Test::Set::Int::_channelbool3 ("Int::Channel::Bool::3", d4, 5)

---

Function Documentation

virtual bool Test::Set::Int::Card::solution

(

const SetAssignment &

x

)

const [inline, virtual, inherited]

Test whether x is solution.

Implements Test::Set::SetTest.

Definition at line 74 of file int.cc.

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

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 82 of file int.cc.

virtual bool Test::Set::Int::Min::solution

(

const SetAssignment &

x

)

const [inline, virtual, inherited]

Test whether x is solution.

Implements Test::Set::SetTest.

Definition at line 95 of file int.cc.

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

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 100 of file int.cc.

virtual bool Test::Set::Int::Max::solution

(

const SetAssignment &

x

)

const [inline, virtual, inherited]

Test whether x is solution.

Implements Test::Set::SetTest.

Definition at line 113 of file int.cc.

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

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 119 of file int.cc.

virtual bool Test::Set::Int::Elem::solution

(

const SetAssignment &

x

)

const [inline, virtual, inherited]

Test whether x is solution.

Implements Test::Set::SetTest.

Definition at line 132 of file int.cc.

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

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 139 of file int.cc.

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

Post reified constraint on x for b.

Reimplemented from Test::Set::SetTest.

Definition at line 143 of file int.cc.

virtual bool Test::Set::Int::NoElem::solution

(

const SetAssignment &

x

)

const [inline, virtual, inherited]

Test whether x is solution.

Implements Test::Set::SetTest.

Definition at line 156 of file int.cc.

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

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 163 of file int.cc.

Test::Set::Int::Rel::Rel	(	Gecode::SetRelType	srt0,
		bool	inverse0
	)			[inline, inherited]

Create and register test.

Definition at line 176 of file int.cc.

virtual bool Test::Set::Int::Rel::solution

(

const SetAssignment &

x

)

const [inline, virtual, inherited]

Test whether x is solution.

Implements Test::Set::SetTest.

Definition at line 182 of file int.cc.

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

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 215 of file int.cc.

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

Post reified constraint on x for b.

Reimplemented from Test::Set::SetTest.

Definition at line 222 of file int.cc.

Test::Set::Int::IntRel::IntRel	(	Gecode::IntRelType	irt0,
		bool	inverse0
	)			[inline, inherited]

Create and register test.

Definition at line 250 of file int.cc.

virtual bool Test::Set::Int::IntRel::solution

(

const SetAssignment &

x

)

const [inline, virtual, inherited]

Test whether x is solution.

Implements Test::Set::SetTest.

Definition at line 256 of file int.cc.

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

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 292 of file int.cc.

template<class I>

int Test::Set::Int::weightI	(	const IntArgs &	elements,
		const IntArgs &	weights,
		I &	iter
	)			[inline]

Definition at line 314 of file int.cc.

Test::Set::Int::Weights::Weights

(

const char *

t

)

[inline, inherited]

Create and register test.

Definition at line 335 of file int.cc.

virtual bool Test::Set::Int::Weights::solution

(

const SetAssignment &

x

)

const [inline, virtual, inherited]

Test whether x is solution.

Implements Test::Set::SetTest.

Definition at line 346 of file int.cc.

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

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 351 of file int.cc.

virtual bool Test::Set::Int::Match::solution

(

const SetAssignment &

x

)

const [inline, virtual, inherited]

Test whether x is solution.

Implements Test::Set::SetTest.

Definition at line 364 of file int.cc.

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

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 389 of file int.cc.

Test::Set::Int::ChannelInt::ChannelInt	(	const char *	t,
		const IntSet &	d,
		int	_ssize,
		int	_isize
	)			[inline, inherited]

Create and register test.

Definition at line 401 of file int.cc.

virtual bool Test::Set::Int::ChannelInt::solution

(

const SetAssignment &

x

)

const [inline, virtual, inherited]

Test whether x is solution.

Implements Test::Set::SetTest.

Definition at line 404 of file int.cc.

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

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 424 of file int.cc.

Test::Set::Int::ChannelBool::ChannelBool	(	const char *	t,
		const IntSet &	d,
		int	_isize
	)			[inline, inherited]

Create and register test.

Definition at line 438 of file int.cc.

virtual bool Test::Set::Int::ChannelBool::solution

(

const SetAssignment &

x

)

const [inline, virtual, inherited]

Test whether x is solution.

Implements Test::Set::SetTest.

Definition at line 441 of file int.cc.

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

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 459 of file int.cc.

---

Variable Documentation

Card Test::Set::Int::_card("Int::Card")

Min Test::Set::Int::_min("Int::Min")

Max Test::Set::Int::_max("Int::Max")

Elem Test::Set::Int::_elem("Int::Elem")

NoElem Test::Set::Int::_noelem("Int::NoElem")

Rel Test::Set::Int::_rel_eq(Gecode::SRT_EQ, false)

Rel Test::Set::Int::_rel_nq(Gecode::SRT_NQ, false)

Rel Test::Set::Int::_rel_sub(Gecode::SRT_SUB, false)

Rel Test::Set::Int::_rel_sup(Gecode::SRT_SUP, false)

Rel Test::Set::Int::_rel_disj(Gecode::SRT_DISJ, false)

Rel Test::Set::Int::_rel_cmpl(Gecode::SRT_CMPL, false)

Rel Test::Set::Int::_rel_eqi(Gecode::SRT_EQ, true)

Rel Test::Set::Int::_rel_nqi(Gecode::SRT_NQ, true)

Rel Test::Set::Int::_rel_subi(Gecode::SRT_SUB, true)

Rel Test::Set::Int::_rel_supi(Gecode::SRT_SUP, true)

Rel Test::Set::Int::_rel_disji(Gecode::SRT_DISJ, true)

Rel Test::Set::Int::_rel_cmpli(Gecode::SRT_CMPL, true)

IntRel Test::Set::Int::_intrel_eq(Gecode::IRT_EQ, false)

IntRel Test::Set::Int::_intrel_nq(Gecode::IRT_NQ, false)

IntRel Test::Set::Int::_intrel_gr(Gecode::IRT_GR, false)

IntRel Test::Set::Int::_intrel_gq(Gecode::IRT_GQ, false)

IntRel Test::Set::Int::_intrel_le(Gecode::IRT_LE, false)

IntRel Test::Set::Int::_intrel_lq(Gecode::IRT_LQ, false)

IntRel Test::Set::Int::_intrel_eqi(Gecode::IRT_EQ, true)

IntRel Test::Set::Int::_intrel_nqi(Gecode::IRT_NQ, true)

IntRel Test::Set::Int::_intrel_gri(Gecode::IRT_GR, true)

IntRel Test::Set::Int::_intrel_gqi(Gecode::IRT_GQ, true)

IntRel Test::Set::Int::_intrel_lei(Gecode::IRT_LE, true)

IntRel Test::Set::Int::_intrel_lqi(Gecode::IRT_LQ, true)

IntArgs Test::Set::Int::Weights::weights [inherited]

Definition at line 332 of file int.cc.

Weights Test::Set::Int::_weights("Int::Weights")

Match Test::Set::Int::_match("Int::Match")

ChannelInt Test::Set::Int::_channelint1("Int::Channel::Int::1", d2, 2, 3)

ChannelInt Test::Set::Int::_channelint2("Int::Channel::Int::2", d3, 3, 3)

ChannelBool Test::Set::Int::_channelbool1("Int::Channel::Bool::1", d2, 3)

ChannelBool Test::Set::Int::_channelbool2("Int::Channel::Bool::2", d3, 3)

ChannelBool Test::Set::Int::_channelbool3("Int::Channel::Bool::3", d4, 5)