Classes | |
class | Test::Int::Channel::ChannelFull |
Simple test for channel (testing all variables) More... | |
class | Test::Int::Channel::ChannelHalf |
Simple test for channel (testing single set of variables) More... | |
class | Test::Int::Channel::ChannelShared |
Test channel with shared variables More... | |
class | Test::Int::Channel::ChannelLinkSingle |
Test channel between integer and Boolean variable More... | |
class | Test::Int::Channel::ChannelLinkMulti |
Test channel between integer variable and array of Boolean variables More... | |
Variables | |
ChannelFull | Test::Int::Channel::cfd (0, 0, Gecode::ICL_DOM) |
ChannelFull | Test::Int::Channel::cfv (0, 0, Gecode::ICL_VAL) |
ChannelFull | Test::Int::Channel::cfd11 (1, 1, Gecode::ICL_DOM) |
ChannelFull | Test::Int::Channel::cfv11 (1, 1, Gecode::ICL_VAL) |
ChannelFull | Test::Int::Channel::cfd35 (3, 5, Gecode::ICL_DOM) |
ChannelFull | Test::Int::Channel::cfv35 (3, 5, Gecode::ICL_VAL) |
ChannelHalf | Test::Int::Channel::chd (Gecode::ICL_DOM) |
ChannelHalf | Test::Int::Channel::chv (Gecode::ICL_VAL) |
ChannelShared | Test::Int::Channel::csd (Gecode::ICL_DOM) |
ChannelShared | Test::Int::Channel::csv (Gecode::ICL_VAL) |
ChannelLinkSingle | Test::Int::Channel::cls |
ChannelLinkMulti | Test::Int::Channel::clma ("A", 0, 5, 0) |
ChannelLinkMulti | Test::Int::Channel::clmb ("B", 1, 6, 1) |
ChannelLinkMulti | Test::Int::Channel::clmc ("C",-1, 4,-1) |
ChannelFull Test::Int::Channel::cfd(0, 0, Gecode::ICL_DOM) |
ChannelFull Test::Int::Channel::cfv(0, 0, Gecode::ICL_VAL) |
ChannelFull Test::Int::Channel::cfd11(1, 1, Gecode::ICL_DOM) |
ChannelFull Test::Int::Channel::cfv11(1, 1, Gecode::ICL_VAL) |
ChannelFull Test::Int::Channel::cfd35(3, 5, Gecode::ICL_DOM) |
ChannelFull Test::Int::Channel::cfv35(3, 5, Gecode::ICL_VAL) |
ChannelHalf Test::Int::Channel::chd(Gecode::ICL_DOM) |
ChannelHalf Test::Int::Channel::chv(Gecode::ICL_VAL) |
ChannelShared Test::Int::Channel::csd(Gecode::ICL_DOM) |
ChannelShared Test::Int::Channel::csv(Gecode::ICL_VAL) |
ChannelLinkSingle Test::Int::Channel::cls |
Definition at line 223 of file channel.cpp.
ChannelLinkMulti Test::Int::Channel::clma("A", 0, 5, 0) |
ChannelLinkMulti Test::Int::Channel::clmb("B", 1, 6, 1) |
ChannelLinkMulti Test::Int::Channel::clmc("C",-1, 4,-1) |