Generated on Sat Oct 20 2018 12:43:45 for Gecode by doxygen 1.8.13

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

 Test::Set::Channel::ChannelSorted::ChannelSorted (const char *t)
 Create and register test. More...
 
virtual bool Test::Set::Channel::ChannelSorted::solution (const SetAssignment &x) const
 Test whether x is solution More...
 
virtual void Test::Set::Channel::ChannelSorted::post (Space &home, SetVarArray &x, IntVarArray &y)
 Post constraint on x. More...
 
 Test::Set::Channel::ChannelInt::ChannelInt (const char *t, const IntSet &d, int _ssize, int _isize)
 Create and register test. More...
 
virtual bool Test::Set::Channel::ChannelInt::solution (const SetAssignment &x) const
 Test whether x is solution More...
 
virtual void Test::Set::Channel::ChannelInt::post (Space &home, SetVarArray &x, IntVarArray &y)
 Post constraint on x. More...
 
 Test::Set::Channel::ChannelBool::ChannelBool (const char *t, const IntSet &d, int _isize)
 Create and register test. More...
 
virtual bool Test::Set::Channel::ChannelBool::solution (const SetAssignment &x) const
 Test whether x is solution More...
 
virtual void Test::Set::Channel::ChannelBool::post (Space &home, SetVarArray &x, IntVarArray &y)
 Post constraint on x. More...
 
 Test::Set::Channel::ChannelSet::ChannelSet (const char *t, const IntSet &d, int x0size, int x1size)
 Create and register test. More...
 
virtual bool Test::Set::Channel::ChannelSet::solution (const SetAssignment &x) const
 Test whether x is solution More...
 
virtual void Test::Set::Channel::ChannelSet::post (Space &home, SetVarArray &x, IntVarArray &)
 Post constraint on x. More...
 

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)
 

Detailed Description

Function Documentation

◆ ChannelSorted()

Test::Set::Channel::ChannelSorted::ChannelSorted ( const char *  t)
inline

Create and register test.

Definition at line 65 of file channel.cpp.

◆ solution() [1/4]

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

Test whether x is solution

Implements Test::Set::SetTest.

Definition at line 68 of file channel.cpp.

◆ post() [1/4]

virtual void Test::Set::Channel::ChannelSorted::post ( Space home,
SetVarArray x,
IntVarArray y 
)
inlinevirtual

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 93 of file channel.cpp.

◆ ChannelInt()

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

Create and register test.

Definition at line 105 of file channel.cpp.

◆ solution() [2/4]

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

Test whether x is solution

Implements Test::Set::SetTest.

Definition at line 108 of file channel.cpp.

◆ post() [2/4]

virtual void Test::Set::Channel::ChannelInt::post ( Space home,
SetVarArray x,
IntVarArray y 
)
inlinevirtual

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 128 of file channel.cpp.

◆ ChannelBool()

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

Create and register test.

Definition at line 142 of file channel.cpp.

◆ solution() [3/4]

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

Test whether x is solution

Implements Test::Set::SetTest.

Definition at line 145 of file channel.cpp.

◆ post() [3/4]

virtual void Test::Set::Channel::ChannelBool::post ( Space home,
SetVarArray x,
IntVarArray y 
)
inlinevirtual

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 163 of file channel.cpp.

◆ ChannelSet()

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

Create and register test.

Definition at line 181 of file channel.cpp.

◆ solution() [4/4]

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

Test whether x is solution

Implements Test::Set::SetTest.

Definition at line 184 of file channel.cpp.

◆ post() [4/4]

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

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 204 of file channel.cpp.

Variable Documentation

◆ _channelSorted

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

◆ _channelint1

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

◆ _channelint2

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

◆ _channelbool1

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

◆ _channelbool2

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

◆ _channelbool3

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

◆ _channelSet12

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

◆ _channelSet13

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

◆ _channelSet22

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

◆ _channelSet23

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

◆ _channelSet32

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

◆ _channelSet33

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