
Classes | |
| class | Gecode::Float::Rounding |
| Floating point rounding policy. More... | |
| class | Gecode::FloatVal |
| Float value type. More... | |
| class | Gecode::FloatVar |
| Float variables. More... | |
Typedefs | |
| typedef double | Gecode::FloatNum |
| Floating point number base type. More... | |
| typedef double Gecode::FloatNum |