Generated on Thu Jan 20 2022 00:00:00 for Gecode by doxygen 1.9.1
arithmetic.cpp File Reference

Go to the source code of this file.

Functions

void Gecode::abs (Home home, FloatVar x0, FloatVar x1)
 Post propagator for $ |x_0|=x_1$. 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::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::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\geq 0$. More...
 
void Gecode::nroot (Home home, FloatVar x0, int n, FloatVar x1)
 Post propagator for ${x_0}^{1/n}=x_1$ for $n\geq 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...
 

Function Documentation

◆ abs()

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

Post propagator for $ |x_0|=x_1$.

Definition at line 41 of file arithmetic.cpp.

◆ max() [1/2]

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

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

Definition at line 49 of file arithmetic.cpp.

◆ max() [2/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.

Definition at line 56 of file arithmetic.cpp.

◆ min() [1/2]

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

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

Definition at line 67 of file arithmetic.cpp.

◆ min() [2/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.

Definition at line 74 of file arithmetic.cpp.

◆ mult()

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

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

Definition at line 88 of file arithmetic.cpp.

◆ sqr()

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

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

Definition at line 95 of file arithmetic.cpp.

◆ sqrt()

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

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

Definition at line 102 of file arithmetic.cpp.

◆ pow()

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

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

Definition at line 109 of file arithmetic.cpp.

◆ nroot()

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

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

Definition at line 118 of file arithmetic.cpp.

◆ div()

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