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

Test::Int::Channel Namespace Reference

Detailed Description

Tests for channel constraints.


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


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)