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)