Generated on Tue Feb 11 2025 17:33:26 for Gecode by doxygen 1.12.0
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

namespace  Gecode
 Gecode toplevel namespace
 
namespace  Gecode::MiniModel
 Minimalistic modeling support.
 

Functions

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