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