Generated on Sat Feb 7 2015 02:01:35 for Gecode by doxygen 1.8.9.1

Functions

void Gecode::min (Home home, FloatVar x0, FloatVar x1, FloatVar x2)
 Post propagator for $ \min\{x_0,x_1\}=x_2$. More...
 
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. More...
 
void Gecode::max (Home home, FloatVar x0, FloatVar x1, FloatVar x2)
 Post propagator for $ \max\{x_0,x_1\}=x_2$. More...
 
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. More...
 
void Gecode::abs (Home home, FloatVar x0, FloatVar x1)
 Post propagator for $ |x_0|=x_1$. More...
 
void Gecode::mult (Home home, FloatVar x0, FloatVar x1, FloatVar x2)
 Post propagator for $x_0\cdot x_1=x_2$. More...
 
void Gecode::sqr (Home home, FloatVar x0, FloatVar x1)
 Post propagator for $x_0\cdot x_0=x_1$. More...
 
void Gecode::sqrt (Home home, FloatVar x0, FloatVar x1)
 Post propagator for $\sqrt{x_0}=x_1$. More...
 
void Gecode::pow (Home home, FloatVar x0, int n, FloatVar x1)
 Post propagator for ${x_0}^{n}=x_1$ for $n 0$. More...
 
void Gecode::nroot (Home home, FloatVar x0, int n, FloatVar x1)
 Post propagator for ${x_0}^{1/n}=x_1$ for $n 0$. More...
 
void Gecode::div (Home home, FloatVar x0, FloatVar x1, FloatVar x2)
 Post propagator for $x_0\ \mathrm{div}\ x_1=x_2$. More...
 
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::pow (Home home, FloatNum base, FloatVar x0, FloatVar x1)
 Post propagator for $ \mathit{base}^{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::asin (Home home, FloatVar x0, FloatVar x1)
 Post propagator for $ \mathrm{asin}(x_0)=x_1$. More...
 
void Gecode::sin (Home home, FloatVar x0, FloatVar x1)
 Post propagator for $ \mathrm{sin}(x_0)=x_1$. More...
 
void Gecode::acos (Home home, FloatVar x0, FloatVar x1)
 Post propagator for $ \mathrm{acos}(x_0)=x_1$. More...
 
void Gecode::cos (Home home, FloatVar x0, FloatVar x1)
 Post propagator for $ \mathrm{cos}(x_0)=x_1$. More...
 
void Gecode::atan (Home home, FloatVar x0, FloatVar x1)
 Post propagator for $ \mathrm{atan}(x_0)=x_1$. More...
 
void Gecode::tan (Home home, FloatVar x0, FloatVar x1)
 Post propagator for $ \mathrm{tan}(x_0)=x_1$. More...
 

Detailed Description

Function Documentation

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

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

Definition at line 75 of file arithmetic.cpp.

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.

Definition at line 82 of file arithmetic.cpp.

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

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

Definition at line 57 of file arithmetic.cpp.

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.

Definition at line 64 of file arithmetic.cpp.

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

Post propagator for $ |x_0|=x_1$.

Definition at line 49 of file arithmetic.cpp.

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

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

Definition at line 96 of file arithmetic.cpp.

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

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

Definition at line 103 of file arithmetic.cpp.

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

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

Definition at line 110 of file arithmetic.cpp.

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

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

Definition at line 117 of file arithmetic.cpp.

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

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

Definition at line 126 of file arithmetic.cpp.

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

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

Definition at line 135 of file arithmetic.cpp.

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

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

Definition at line 144 of file arithmetic.cpp.

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

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

Definition at line 151 of file arithmetic.cpp.

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

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

Definition at line 167 of file arithmetic.cpp.

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 159 of file arithmetic.cpp.

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

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

Definition at line 175 of file arithmetic.cpp.

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

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

Definition at line 182 of file arithmetic.cpp.

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

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

Definition at line 189 of file arithmetic.cpp.

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

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

Definition at line 196 of file arithmetic.cpp.

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

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

Definition at line 203 of file arithmetic.cpp.

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

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

Definition at line 210 of file arithmetic.cpp.