Generated on Thu Jul 25 2019 00:00:00 for Gecode by doxygen 1.8.15

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

◆ Sequence()

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

Create and register test.

Definition at line 59 of file sequence.cpp.

◆ solution() [1/2]

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.

◆ post() [1/2]

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.

◆ SeqU()

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

Create and register test.

Definition at line 89 of file sequence.cpp.

◆ solution() [2/2]

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.

◆ post() [2/2]

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

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

◆ _sequ0

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

◆ _sequ1

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

◆ _sequ3

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