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