Set channeling constraints
[Testing finite sets]
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 | |
virtual bool | Test::Set::Channel::ChannelSorted::solution (const SetAssignment &x) const |
Test whether x is solution | |
virtual void | Test::Set::Channel::ChannelSorted::post (Space &home, SetVarArray &x, IntVarArray &y) |
Post constraint on x. | |
Test::Set::Channel::ChannelInt::ChannelInt (const char *t, const IntSet &d, int _ssize, int _isize) | |
Create and register test. | |
virtual bool | Test::Set::Channel::ChannelInt::solution (const SetAssignment &x) const |
Test whether x is solution | |
virtual void | Test::Set::Channel::ChannelInt::post (Space &home, SetVarArray &x, IntVarArray &y) |
Post constraint on x. | |
Test::Set::Channel::ChannelBool::ChannelBool (const char *t, const IntSet &d, int _isize) | |
Create and register test. | |
virtual bool | Test::Set::Channel::ChannelBool::solution (const SetAssignment &x) const |
Test whether x is solution | |
virtual void | Test::Set::Channel::ChannelBool::post (Space &home, SetVarArray &x, IntVarArray &y) |
Post constraint on x. | |
Test::Set::Channel::ChannelSet::ChannelSet (const char *t, const IntSet &d, int x0size, int x1size) | |
Create and register test. | |
virtual bool | Test::Set::Channel::ChannelSet::solution (const SetAssignment &x) const |
Test whether x is solution | |
virtual void | Test::Set::Channel::ChannelSet::post (Space &home, SetVarArray &x, IntVarArray &) |
Post constraint on x. | |
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) |
Function Documentation
virtual bool Test::Set::Channel::ChannelSorted::solution | ( | const SetAssignment & | x | ) | const [inline, virtual, inherited] |
Test whether x is solution
Implements Test::Set::SetTest.
Definition at line 68 of file channel.cpp.
virtual void Test::Set::Channel::ChannelSorted::post | ( | Space & | home, | |
SetVarArray & | x, | |||
IntVarArray & | y | |||
) | [inline, virtual, inherited] |
Test::Set::Channel::ChannelInt::ChannelInt | ( | const char * | t, | |
const IntSet & | d, | |||
int | _ssize, | |||
int | _isize | |||
) | [inline, inherited] |
Create and register test.
Definition at line 105 of file channel.cpp.
virtual bool Test::Set::Channel::ChannelInt::solution | ( | const SetAssignment & | x | ) | const [inline, virtual, inherited] |
Test whether x is solution
Implements Test::Set::SetTest.
Definition at line 108 of file channel.cpp.
virtual void Test::Set::Channel::ChannelInt::post | ( | Space & | home, | |
SetVarArray & | x, | |||
IntVarArray & | y | |||
) | [inline, virtual, inherited] |
Test::Set::Channel::ChannelBool::ChannelBool | ( | const char * | t, | |
const IntSet & | d, | |||
int | _isize | |||
) | [inline, inherited] |
Create and register test.
Definition at line 142 of file channel.cpp.
virtual bool Test::Set::Channel::ChannelBool::solution | ( | const SetAssignment & | x | ) | const [inline, virtual, inherited] |
Test whether x is solution
Implements Test::Set::SetTest.
Definition at line 145 of file channel.cpp.
virtual void Test::Set::Channel::ChannelBool::post | ( | Space & | home, | |
SetVarArray & | x, | |||
IntVarArray & | y | |||
) | [inline, virtual, inherited] |
Test::Set::Channel::ChannelSet::ChannelSet | ( | const char * | t, | |
const IntSet & | d, | |||
int | x0size, | |||
int | x1size | |||
) | [inline, inherited] |
Create and register test.
Definition at line 181 of file channel.cpp.
virtual bool Test::Set::Channel::ChannelSet::solution | ( | const SetAssignment & | x | ) | const [inline, virtual, inherited] |
Test whether x is solution
Implements Test::Set::SetTest.
Definition at line 184 of file channel.cpp.
virtual void Test::Set::Channel::ChannelSet::post | ( | Space & | home, | |
SetVarArray & | x, | |||
IntVarArray & | ||||
) | [inline, virtual, inherited] |
Variable Documentation
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) |