channel.cc File Reference

(Revision: 7665)

#include "test/int.hh"
#include "gecode/minimodel.hh"

Go to the source code of this file.

Namespaces
namespace	Test
namespace	Test::Int
namespace	Test::Int::Channel
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)