Generated on Sat Feb 7 2015 02:01:55 for Gecode by doxygen 1.8.9.1
Test::Int::Channel Namespace Reference

Tests for channel constraints More...

Classes

class  ChannelFull
 Simple test for channel (testing all variables) More...
 
class  ChannelHalf
 Simple test for channel (testing single set of variables) More...
 
class  ChannelLinkMulti
 Test channel between integer variable and array of Boolean variables More...
 
class  ChannelLinkSingle
 Test channel between integer and Boolean variable More...
 
class  ChannelShared
 Test channel with shared variables More...
 

Variables

ChannelFull cfd (0, 0, Gecode::ICL_DOM)
 
ChannelFull cfv (0, 0, Gecode::ICL_VAL)
 
ChannelFull cfd11 (1, 1, Gecode::ICL_DOM)
 
ChannelFull cfv11 (1, 1, Gecode::ICL_VAL)
 
ChannelFull cfd35 (3, 5, Gecode::ICL_DOM)
 
ChannelFull cfv35 (3, 5, Gecode::ICL_VAL)
 
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)
 

Detailed Description

Tests for channel constraints