Generated on Sat Feb 7 2015 02:01:38 for Gecode by doxygen 1.8.9.1

Classes

class  Test::Set::Sequence::Sequence
 Test for sequence constraint More...
 
class  Test::Set::Sequence::SeqU
 Test for sequential-union constraint More...
 

Functions

 Test::Set::Sequence::Sequence::Sequence (const char *t)
 Create and register test. More...
 
virtual bool Test::Set::Sequence::Sequence::solution (const SetAssignment &x) const
 Test whether x is solution More...
 
virtual void Test::Set::Sequence::Sequence::post (Space &home, SetVarArray &x, IntVarArray &)
 Post constraint on x. More...
 
 Test::Set::Sequence::SeqU::SeqU (int n0)
 Create and register test. More...
 
virtual bool Test::Set::Sequence::SeqU::solution (const SetAssignment &x) const
 Test whether x is solution More...
 
virtual void Test::Set::Sequence::SeqU::post (Space &home, SetVarArray &x, IntVarArray &)
 Post constraint on x. More...
 

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)
 

Detailed Description

Function Documentation

Test::Set::Sequence::Sequence::Sequence ( const char *  t)
inline

Create and register test.

Definition at line 59 of file sequence.cpp.

virtual bool Test::Set::Sequence::Sequence::solution ( const SetAssignment x) const
inlinevirtual

Test whether x is solution

Implements Test::Set::SetTest.

Definition at line 62 of file sequence.cpp.

virtual void Test::Set::Sequence::Sequence::post ( Space home,
SetVarArray x,
IntVarArray  
)
inlinevirtual

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 77 of file sequence.cpp.

Test::Set::Sequence::SeqU::SeqU ( int  n0)
inline

Create and register test.

Definition at line 89 of file sequence.cpp.

virtual bool Test::Set::Sequence::SeqU::solution ( const SetAssignment x) const
inlinevirtual

Test whether x is solution

Implements Test::Set::SetTest.

Definition at line 92 of file sequence.cpp.

virtual void Test::Set::Sequence::SeqU::post ( Space home,
SetVarArray x,
IntVarArray  
)
inlinevirtual

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 120 of file sequence.cpp.

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)