Generated on Fri Oct 19 11:25:35 2018 for Gecode by doxygen 1.6.3

Arithmetic constraints
[Using float variables and constraints]

Functions

void Gecode::min (Home home, FloatVar x0, FloatVar x1, FloatVar x2)
 Post propagator for $ \min\{x_0,x_1\}=x_2$.
void Gecode::min (Home home, const FloatVarArgs &x, FloatVar y)
 Post propagator for $ \min x=y$ If x is empty, an exception of type Float::TooFewArguments is thrown.
void Gecode::max (Home home, FloatVar x0, FloatVar x1, FloatVar x2)
 Post propagator for $ \max\{x_0,x_1\}=x_2$.
void Gecode::max (Home home, const FloatVarArgs &x, FloatVar y)
 Post propagator for $ \max x=y$ If x is empty, an exception of type Float::TooFewArguments is thrown.
void Gecode::abs (Home home, FloatVar x0, FloatVar x1)
 Post propagator for $ |x_0|=x_1$.
void Gecode::mult (Home home, FloatVar x0, FloatVar x1, FloatVar x2)
 Post propagator for $x_0\cdot x_1=x_2$.
void Gecode::sqr (Home home, FloatVar x0, FloatVar x1)
 Post propagator for $x_0\cdot x_0=x_1$.
void Gecode::sqrt (Home home, FloatVar x0, FloatVar x1)
 Post propagator for $\sqrt{x_0}=x_1$.
void Gecode::pow (Home home, FloatVar x0, int n, FloatVar x1)
 Post propagator for ${x_0}^{n}=x_1$ for $n 0$.
void Gecode::nroot (Home home, FloatVar x0, int n, FloatVar x1)
 Post propagator for ${x_0}^{1/n}=x_1$ for $n 0$.
void Gecode::div (Home home, FloatVar x0, FloatVar x1, FloatVar x2)
 Post propagator for $x_0\ \mathrm{div}\ x_1=x_2$.
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::pow (Home home, FloatNum base, FloatVar x0, FloatVar x1)
 Post propagator for $ \mathit{base}^{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::asin (Home home, FloatVar x0, FloatVar x1)
 Post propagator for $ \mathrm{asin}(x_0)=x_1$.
void Gecode::sin (Home home, FloatVar x0, FloatVar x1)
 Post propagator for $ \mathrm{sin}(x_0)=x_1$.
void Gecode::acos (Home home, FloatVar x0, FloatVar x1)
 Post propagator for $ \mathrm{acos}(x_0)=x_1$.
void Gecode::cos (Home home, FloatVar x0, FloatVar x1)
 Post propagator for $ \mathrm{cos}(x_0)=x_1$.
void Gecode::atan (Home home, FloatVar x0, FloatVar x1)
 Post propagator for $ \mathrm{atan}(x_0)=x_1$.
void Gecode::tan (Home home, FloatVar x0, FloatVar x1)
 Post propagator for $ \mathrm{tan}(x_0)=x_1$.

Function Documentation

void Gecode::min ( Home  home,
FloatVar  x0,
FloatVar  x1,
FloatVar  x2 
)

Post propagator for $ \min\{x_0,x_1\}=x_2$.

void Gecode::min ( Home  home,
const FloatVarArgs &  x,
FloatVar  y 
)

Post propagator for $ \min x=y$ If x is empty, an exception of type Float::TooFewArguments is thrown.

void Gecode::max ( Home  home,
FloatVar  x0,
FloatVar  x1,
FloatVar  x2 
)

Post propagator for $ \max\{x_0,x_1\}=x_2$.

void Gecode::max ( Home  home,
const FloatVarArgs &  x,
FloatVar  y 
)

Post propagator for $ \max x=y$ If x is empty, an exception of type Float::TooFewArguments is thrown.

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

Post propagator for $ |x_0|=x_1$.

void Gecode::mult ( Home  home,
FloatVar  x0,
FloatVar  x1,
FloatVar  x2 
)

Post propagator for $x_0\cdot x_1=x_2$.

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

Post propagator for $x_0\cdot x_0=x_1$.

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

Post propagator for $\sqrt{x_0}=x_1$.

void Gecode::pow ( Home  home,
FloatVar  x0,
int  n,
FloatVar  x1 
)

Post propagator for ${x_0}^{n}=x_1$ for $n 0$.

void Gecode::nroot ( Home  home,
FloatVar  x0,
int  n,
FloatVar  x1 
)

Post propagator for ${x_0}^{1/n}=x_1$ for $n 0$.

void Gecode::div ( Home  home,
FloatVar  x0,
FloatVar  x1,
FloatVar  x2 
)

Post propagator for $x_0\ \mathrm{div}\ x_1=x_2$.

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::pow ( Home  home,
FloatNum  base,
FloatVar  x0,
FloatVar  x1 
)

Post propagator for $ \mathit{base}^{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::asin ( Home  home,
FloatVar  x0,
FloatVar  x1 
)

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

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

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

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

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

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

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

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

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

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

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