Channel constraints
[Testing finite domain integers]
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 (Gecode::ICL_DOM) |
| ChannelFull | Test::Int::Channel::cfv (Gecode::ICL_VAL) |
| ChannelFull | Test::Int::Channel::cfd11 (Gecode::ICL_DOM, 1, 1) |
| ChannelFull | Test::Int::Channel::cfv11 (Gecode::ICL_VAL, 1, 1) |
| ChannelFull | Test::Int::Channel::cfd35 (Gecode::ICL_DOM, 3, 5) |
| ChannelFull | Test::Int::Channel::cfv35 (Gecode::ICL_VAL, 3, 5) |
| 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) |
Variable Documentation
| ChannelFull Test::Int::Channel::cfd(Gecode::ICL_DOM) |
| ChannelFull Test::Int::Channel::cfv(Gecode::ICL_VAL) |
| ChannelFull Test::Int::Channel::cfd11(Gecode::ICL_DOM, 1, 1) |
| ChannelFull Test::Int::Channel::cfv11(Gecode::ICL_VAL, 1, 1) |
| ChannelFull Test::Int::Channel::cfd35(Gecode::ICL_DOM, 3, 5) |
| ChannelFull Test::Int::Channel::cfv35(Gecode::ICL_VAL, 3, 5) |
| 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 227 of file channel.cc.
| 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) |