
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 | |
| Test | |
| General test support. | |
| Test::Float | |
| Testing domain floats. | |
| 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) |