Set channeling constraints
[Testing finite sets]

Classes
class	Test::Set::Channel::ChannelSorted
	Test for sorted channeling constraint More...
class	Test::Set::Channel::ChannelInt
	Test for integer channel constraint More...
class	Test::Set::Channel::ChannelBool
	Test for Boolean channel constraint More...
class	Test::Set::Channel::ChannelSet
	Test for set channel constraint More...
Functions
virtual bool	Test::Set::Channel::ChannelSorted::solution (const SetAssignment &x) const
	Test whether x is solution
virtual void	Test::Set::Channel::ChannelSorted::post (Space &home, SetVarArray &x, IntVarArray &y)
	Post constraint on x.
	Test::Set::Channel::ChannelInt::ChannelInt (const char *t, const IntSet &d, int _ssize, int _isize)
	Create and register test.
virtual bool	Test::Set::Channel::ChannelInt::solution (const SetAssignment &x) const
	Test whether x is solution
virtual void	Test::Set::Channel::ChannelInt::post (Space &home, SetVarArray &x, IntVarArray &y)
	Post constraint on x.
	Test::Set::Channel::ChannelBool::ChannelBool (const char *t, const IntSet &d, int _isize)
	Create and register test.
virtual bool	Test::Set::Channel::ChannelBool::solution (const SetAssignment &x) const
	Test whether x is solution
virtual void	Test::Set::Channel::ChannelBool::post (Space &home, SetVarArray &x, IntVarArray &y)
	Post constraint on x.
	Test::Set::Channel::ChannelSet::ChannelSet (const char *t, const IntSet &d, int x0size, int x1size)
	Create and register test.
virtual bool	Test::Set::Channel::ChannelSet::solution (const SetAssignment &x) const
	Test whether x is solution
virtual void	Test::Set::Channel::ChannelSet::post (Space &home, SetVarArray &x, IntVarArray &)
	Post constraint on x.
Variables
ChannelSorted	Test::Set::Channel::_channelSorted ("Channel::Sorted")
ChannelInt	Test::Set::Channel::_channelint1 ("Channel::Int::1", d2, 2, 3)
ChannelInt	Test::Set::Channel::_channelint2 ("Channel::Int::2", d3, 3, 3)
ChannelBool	Test::Set::Channel::_channelbool1 ("Channel::Bool::1", d2, 3)
ChannelBool	Test::Set::Channel::_channelbool2 ("Channel::Bool::2", d3, 3)
ChannelBool	Test::Set::Channel::_channelbool3 ("Channel::Bool::3", d4, 5)
ChannelSet	Test::Set::Channel::_channelSet12 ("Channel::Set::1::2", d1, 2, 2)
ChannelSet	Test::Set::Channel::_channelSet13 ("Channel::Set::1::3", d1, 2, 3)
ChannelSet	Test::Set::Channel::_channelSet22 ("Channel::Set::2::2", d3, 2, 2)
ChannelSet	Test::Set::Channel::_channelSet23 ("Channel::Set::2::3", d3, 2, 3)
ChannelSet	Test::Set::Channel::_channelSet32 ("Channel::Set::3::2", d_12, 2, 2)
ChannelSet	Test::Set::Channel::_channelSet33 ("Channel::Set::3::3", d_12, 2, 3)

---

Function Documentation

virtual bool Test::Set::Channel::ChannelSorted::solution

(

const SetAssignment &

x

)

const [inline, virtual, inherited]

Test whether x is solution

Implements Test::Set::SetTest.

Definition at line 68 of file channel.cpp.

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

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 93 of file channel.cpp.

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

Create and register test.

Definition at line 105 of file channel.cpp.

virtual bool Test::Set::Channel::ChannelInt::solution

(

const SetAssignment &

x

)

const [inline, virtual, inherited]

Test whether x is solution

Implements Test::Set::SetTest.

Definition at line 108 of file channel.cpp.

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

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 128 of file channel.cpp.

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

Create and register test.

Definition at line 142 of file channel.cpp.

virtual bool Test::Set::Channel::ChannelBool::solution

(

const SetAssignment &

x

)

const [inline, virtual, inherited]

Test whether x is solution

Implements Test::Set::SetTest.

Definition at line 145 of file channel.cpp.

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

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 163 of file channel.cpp.

Test::Set::Channel::ChannelSet::ChannelSet	(	const char *	t,
		const IntSet &	d,
		int	x0size,
		int	x1size
	)			[inline, inherited]

Create and register test.

Definition at line 181 of file channel.cpp.

virtual bool Test::Set::Channel::ChannelSet::solution

(

const SetAssignment &

x

)

const [inline, virtual, inherited]

Test whether x is solution

Implements Test::Set::SetTest.

Definition at line 184 of file channel.cpp.

virtual void Test::Set::Channel::ChannelSet::post	(	Space &	home,
		SetVarArray &	x,
		IntVarArray &
	)			[inline, virtual, inherited]

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 204 of file channel.cpp.

---

Variable Documentation

ChannelSorted Test::Set::Channel::_channelSorted("Channel::Sorted")

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

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

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

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

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

ChannelSet Test::Set::Channel::_channelSet12("Channel::Set::1::2", d1, 2, 2)

ChannelSet Test::Set::Channel::_channelSet13("Channel::Set::1::3", d1, 2, 3)

ChannelSet Test::Set::Channel::_channelSet22("Channel::Set::2::2", d3, 2, 2)

ChannelSet Test::Set::Channel::_channelSet23("Channel::Set::2::3", d3, 2, 3)

ChannelSet Test::Set::Channel::_channelSet32("Channel::Set::3::2", d_12, 2, 2)

ChannelSet Test::Set::Channel::_channelSet33("Channel::Set::3::3", d_12, 2, 3)