|
| 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...
|
|
|
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) |
|