Go to the source code of this file.
|
| namespace | Gecode |
| | Gecode toplevel namespace
|
|
| void | Gecode::exp (Home home, FloatVar x0, FloatVar x1) |
| | Post propagator for \( \mathrm{exp}(x_0)=x_1\).
|
| void | Gecode::log (Home home, FloatVar x0, FloatVar x1) |
| | Post propagator for \( \mathrm{log}_e(x_0)=x_1\).
|
| void | Gecode::log (Home home, FloatNum base, FloatVar x0, FloatVar x1) |
| | Post propagator for \( \mathrm{log}_{\mathit{base}}(x_0)=x_1\).
|
| void | Gecode::pow (Home home, FloatNum base, FloatVar x0, FloatVar x1) |
| | Post propagator for \( \mathit{base}^{x_0}=x_1\).
|