Generated on Mon Aug 25 11:35:47 2008 for Gecode by doxygen 1.5.6

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)