Generated on Tue Jan 26 2021 00:00:00 for Gecode by doxygen 1.9.1
transcendental.cpp File Reference

Go to the source code of this file.

Functions

void Gecode::exp (Home home, FloatVar x0, FloatVar x1)
 Post propagator for $ \mathrm{exp}(x_0)=x_1$. More...
 
void Gecode::log (Home home, FloatVar x0, FloatVar x1)
 Post propagator for $ \mathrm{log}_e(x_0)=x_1$. More...
 
void Gecode::log (Home home, FloatNum base, FloatVar x0, FloatVar x1)
 Post propagator for $ \mathrm{log}_{\mathit{base}}(x_0)=x_1$. More...
 
void Gecode::pow (Home home, FloatNum base, FloatVar x0, FloatVar x1)
 Post propagator for $ \mathit{base}^{x_0}=x_1$. More...
 

Function Documentation

◆ exp()

void Gecode::exp ( Home  home,
FloatVar  x0,
FloatVar  x1 
)

Post propagator for $ \mathrm{exp}(x_0)=x_1$.

Definition at line 45 of file transcendental.cpp.

◆ log() [1/2]

void Gecode::log ( Home  home,
FloatVar  x0,
FloatVar  x1 
)

Post propagator for $ \mathrm{log}_e(x_0)=x_1$.

Definition at line 53 of file transcendental.cpp.

◆ log() [2/2]

void Gecode::log ( Home  home,
FloatNum  base,
FloatVar  x0,
FloatVar  x1 
)

Post propagator for $ \mathrm{log}_{\mathit{base}}(x_0)=x_1$.

Definition at line 61 of file transcendental.cpp.

◆ pow()

void Gecode::pow ( Home  home,
FloatNum  base,
FloatVar  x0,
FloatVar  x1 
)

Post propagator for $ \mathit{base}^{x_0}=x_1$.

Definition at line 69 of file transcendental.cpp.