Go to the source code of this file.
Classes | |
| class | Gecode::Float::Arithmetic::NonZero< View > |
| Propagator maintaining that a float view does not contain zero. More... | |
Namespaces | |
| namespace | Gecode |
| Gecode toplevel namespace | |
| namespace | Gecode::Float |
| Floating point numbers. | |
| namespace | Gecode::Float::Arithmetic |
| Arithmetic propagators | |
Functions | |
| FloatNum | Gecode::Float::Arithmetic::positive_pow_down (FloatNum x, int n) |
| Return a downward-rounded positive integer power. | |
| FloatVal | Gecode::Float::Arithmetic::positive_nroot (const FloatVal &x, int n) |
| Return nth root for a non-negative interval. | |