Sequence constraints
[Testing finite sets]

Classes
class	Test::Set::Sequence::Sequence
	Test for sequence constraint. More...
class	Test::Set::Sequence::SeqU
	Test for sequential-union constraint. More...
Functions
virtual bool	Test::Set::Sequence::Sequence::solution (const SetAssignment &x) const
	Test whether x is solution.
virtual void	Test::Set::Sequence::Sequence::post (Space *home, SetVarArray &x, IntVarArray &)
	Post constraint on x.
	Test::Set::Sequence::SeqU::SeqU (int n0)
	Create and register test.
virtual bool	Test::Set::Sequence::SeqU::solution (const SetAssignment &x) const
	Test whether x is solution.
virtual void	Test::Set::Sequence::SeqU::post (Space *home, SetVarArray &x, IntVarArray &)
	Post constraint on x.
Variables
Sequence	Test::Set::Sequence::_sequence ("Sequence::Sequence")
SeqU	Test::Set::Sequence::_sequ0 (0)
SeqU	Test::Set::Sequence::_sequ1 (1)
SeqU	Test::Set::Sequence::_sequ3 (3)

---

Function Documentation

virtual bool Test::Set::Sequence::Sequence::solution

(

const SetAssignment &

x

)

const [inline, virtual, inherited]

Test whether x is solution.

Implements Test::Set::SetTest.

Definition at line 62 of file sequence.cc.

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

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 77 of file sequence.cc.

Test::Set::Sequence::SeqU::SeqU

(

int

n0

)

[inline, inherited]

Create and register test.

Definition at line 89 of file sequence.cc.

virtual bool Test::Set::Sequence::SeqU::solution

(

const SetAssignment &

x

)

const [inline, virtual, inherited]

Test whether x is solution.

Implements Test::Set::SetTest.

Definition at line 92 of file sequence.cc.

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

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 112 of file sequence.cc.

---

Variable Documentation

Sequence Test::Set::Sequence::_sequence("Sequence::Sequence")

SeqU Test::Set::Sequence::_sequ0(0)

SeqU Test::Set::Sequence::_sequ1(1)

SeqU Test::Set::Sequence::_sequ3(3)