Generated on Sat Apr 10 2021 00:00:00 for Gecode by doxygen 1.9.1
float-arith.cpp File Reference

Go to the source code of this file.

Classes

class  Gecode::MiniModel::ArithNonLinFloatExpr
 Non-linear float arithmetic expressions. More...
 

Namespaces

 Gecode::MiniModel
 Minimalistic modeling support.
 

Functions

bool Gecode::MiniModel::hasType (const LinFloatExpr &e, ArithNonLinFloatExpr::ArithNonLinFloatExprType t)
 Check if e is of type t. More...
 
LinFloatExpr Gecode::abs (const LinFloatExpr &e)
 Return expression for $|e|$. More...
 
LinFloatExpr Gecode::min (const LinFloatExpr &x, const LinFloatExpr &y)
 Return expression for $\min(x,y)$. More...
 
LinFloatExpr Gecode::min (const FloatVarArgs &x)
 Return expression for $\min(x)$. More...
 
LinFloatExpr Gecode::max (const LinFloatExpr &x, const LinFloatExpr &y)
 Return expression for $\max(x,y)$. More...
 
LinFloatExpr Gecode::max (const FloatVarArgs &x)
 Return expression for $\max(x)$. More...
 
LinFloatExpr Gecode::operator* (const FloatVar &, const FloatVar &)
 Return expression as product of float variables. More...
 
LinFloatExpr Gecode::operator* (const LinFloatExpr &, const FloatVar &)
 Return expression as product of linear float expression and float variable. More...
 
LinFloatExpr Gecode::operator* (const FloatVar &, const LinFloatExpr &)
 Return expression as product of float variable and linear float expression. More...
 
LinFloatExpr Gecode::operator* (const LinFloatExpr &x, const LinFloatExpr &y)
 Return expression for $x\cdot y$. More...
 
LinFloatExpr Gecode::operator/ (const LinFloatExpr &x, const LinFloatExpr &y)
 Return expression for $x/y$. More...
 
LinFloatExpr Gecode::sqr (const LinFloatExpr &x)
 Return expression for $x^2$. More...
 
LinFloatExpr Gecode::sqrt (const LinFloatExpr &x)
 Return expression for $\sqrt{x}$. More...
 
LinFloatExpr Gecode::pow (const LinFloatExpr &x, int n)
 Return expression for $x^n$. More...
 
LinFloatExpr Gecode::nroot (const LinFloatExpr &x, int n)
 Return expression for $x^{1/n}$. More...
 
LinFloatExpr Gecode::exp (const LinFloatExpr &x)
 Return expression for $ \mathrm{exp}(x)$. More...
 
LinFloatExpr Gecode::log (const LinFloatExpr &x)
 Return expression for $ \mathrm{log}(x)$. More...
 
LinFloatExpr Gecode::asin (const LinFloatExpr &x)
 Return expression for $ \mathrm{asin}(x)$. More...
 
LinFloatExpr Gecode::sin (const LinFloatExpr &x)
 Return expression for $ \mathrm{sin}(x)$. More...
 
LinFloatExpr Gecode::acos (const LinFloatExpr &x)
 Return expression for $ \mathrm{acos}(x)$. More...
 
LinFloatExpr Gecode::cos (const LinFloatExpr &x)
 Return expression for $ \mathrm{cos}(x)$. More...
 
LinFloatExpr Gecode::atan (const LinFloatExpr &x)
 Return expression for $ \mathrm{atan}(x)$. More...
 
LinFloatExpr Gecode::tan (const LinFloatExpr &x)
 Return expression for $ \mathrm{tan}(x)$. More...
 

Function Documentation

◆ abs()

LinFloatExpr Gecode::abs ( const LinFloatExpr e)

Return expression for $|e|$.

Definition at line 328 of file float-arith.cpp.

◆ min() [1/2]

LinFloatExpr Gecode::min ( const LinFloatExpr e0,
const LinFloatExpr e1 
)

Return expression for $\min(x,y)$.

Definition at line 339 of file float-arith.cpp.

◆ min() [2/2]

LinFloatExpr Gecode::min ( const FloatVarArgs x)

Return expression for $\min(x)$.

Definition at line 372 of file float-arith.cpp.

◆ max() [1/2]

LinFloatExpr Gecode::max ( const LinFloatExpr e0,
const LinFloatExpr e1 
)

Return expression for $\max(x,y)$.

Definition at line 382 of file float-arith.cpp.

◆ max() [2/2]

LinFloatExpr Gecode::max ( const FloatVarArgs x)

Return expression for $\max(x)$.

Definition at line 415 of file float-arith.cpp.

◆ operator*() [1/4]

LinFloatExpr Gecode::operator* ( const FloatVar e0,
const FloatVar e1 
)

Return expression as product of float variables.

Definition at line 425 of file float-arith.cpp.

◆ operator*() [2/4]

LinFloatExpr Gecode::operator* ( const LinFloatExpr e0,
const FloatVar e1 
)

Return expression as product of linear float expression and float variable.

Definition at line 435 of file float-arith.cpp.

◆ operator*() [3/4]

LinFloatExpr Gecode::operator* ( const FloatVar e0,
const LinFloatExpr e1 
)

Return expression as product of float variable and linear float expression.

Definition at line 445 of file float-arith.cpp.

◆ operator*() [4/4]

LinFloatExpr Gecode::operator* ( const LinFloatExpr e0,
const LinFloatExpr e1 
)

Return expression for $x\cdot y$.

Definition at line 455 of file float-arith.cpp.

◆ operator/()

LinFloatExpr Gecode::operator/ ( const LinFloatExpr e0,
const LinFloatExpr e1 
)

Return expression for $x/y$.

Definition at line 465 of file float-arith.cpp.

◆ sqr()

LinFloatExpr Gecode::sqr ( const LinFloatExpr e)

Return expression for $x^2$.

Definition at line 475 of file float-arith.cpp.

◆ sqrt()

LinFloatExpr Gecode::sqrt ( const LinFloatExpr e)

Return expression for $\sqrt{x}$.

Definition at line 484 of file float-arith.cpp.

◆ pow()

LinFloatExpr Gecode::pow ( const LinFloatExpr e,
int  exp 
)

Return expression for $x^n$.

Definition at line 493 of file float-arith.cpp.

◆ nroot()

LinFloatExpr Gecode::nroot ( const LinFloatExpr e,
int  exp 
)

Return expression for $x^{1/n}$.

Definition at line 502 of file float-arith.cpp.

◆ exp()

LinFloatExpr Gecode::exp ( const LinFloatExpr e)

Return expression for $ \mathrm{exp}(x)$.

Definition at line 513 of file float-arith.cpp.

◆ log()

LinFloatExpr Gecode::log ( const LinFloatExpr e)

Return expression for $ \mathrm{log}(x)$.

Definition at line 522 of file float-arith.cpp.

◆ asin()

LinFloatExpr Gecode::asin ( const LinFloatExpr e)

Return expression for $ \mathrm{asin}(x)$.

Definition at line 531 of file float-arith.cpp.

◆ sin()

LinFloatExpr Gecode::sin ( const LinFloatExpr e)

Return expression for $ \mathrm{sin}(x)$.

Definition at line 540 of file float-arith.cpp.

◆ acos()

LinFloatExpr Gecode::acos ( const LinFloatExpr e)

Return expression for $ \mathrm{acos}(x)$.

Definition at line 549 of file float-arith.cpp.

◆ cos()

LinFloatExpr Gecode::cos ( const LinFloatExpr e)

Return expression for $ \mathrm{cos}(x)$.

Definition at line 558 of file float-arith.cpp.

◆ atan()

LinFloatExpr Gecode::atan ( const LinFloatExpr e)

Return expression for $ \mathrm{atan}(x)$.

Definition at line 567 of file float-arith.cpp.

◆ tan()

LinFloatExpr Gecode::tan ( const LinFloatExpr e)

Return expression for $ \mathrm{tan}(x)$.

Definition at line 576 of file float-arith.cpp.