channel.cpp File Reference
(Revision: 13232)
#include "test/float.hh"
#include <gecode/minimodel.hh>
Go to the source code of this file.
Classes | |
class | Test::Float::Channel::ChannelLinkSingle |
Test channel between float and integer 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::step = 0.7 |
ChannelLinkSingle | Test::Float::Channel::cls (step) |