Generated on Thu Apr 11 13:59:36 2019 for Gecode by doxygen 1.6.3

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 58 of file sequence.cpp.

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 73 of file sequence.cpp.

Test::Set::Sequence::SeqU::SeqU ( int  n0  )  [inline, inherited]

Create and register test.

Definition at line 85 of file sequence.cpp.

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 88 of file sequence.cpp.

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 114 of file sequence.cpp.


Variable Documentation

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