channel.cpp File Reference

#include "test/float.hh"
#include <gecode/minimodel.hh>

Go to the source code of this file.

Classes
class	Test::Float::Channel::Int
	Test channel between float and integer More...
class	Test::Float::Channel::Bool
	Test channel between float and Boolean More...
Namespaces
namespace	Test
	General test support.
namespace	Test::Float
	Testing domain floats.
namespace	Test::Float::Channel
	Tests for channel constraints
Variables
Gecode::FloatNum	Test::Float::Channel::step1 = 0.7
Gecode::FloatNum	Test::Float::Channel::step2 = 0.1
Int	Test::Float::Channel::ci (step1)
Bool	Test::Float::Channel::cb (step2)