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