Go to the source code of this file.
Classes | |
class | Test::Float::Channel::ChannelLinkSingle |
Test channel between float and integer More... | |
Namespaces | |
Test | |
General test support. | |
Test::Float | |
Testing domain floats. | |
Test::Float::Channel | |
Tests for channel constraints | |
Variables | |
Gecode::FloatNum | Test::Float::Channel::step = 0.7 |
ChannelLinkSingle | Test::Float::Channel::cls (step) |