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