#include <gecode/minimodel.hh>
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 ![]() | |
LinFloatExpr | Gecode::min (const LinFloatExpr &x, const LinFloatExpr &y) |
Return expression for ![]() | |
LinFloatExpr | Gecode::min (const FloatVarArgs &x) |
Return expression for ![]() | |
LinFloatExpr | Gecode::max (const LinFloatExpr &x, const LinFloatExpr &y) |
Return expression for ![]() | |
LinFloatExpr | Gecode::max (const FloatVarArgs &x) |
Return expression for ![]() | |
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 ![]() | |
LinFloatExpr | Gecode::operator/ (const LinFloatExpr &x, const LinFloatExpr &y) |
Return expression for ![]() | |
LinFloatExpr | Gecode::sqr (const LinFloatExpr &x) |
Return expression for ![]() | |
LinFloatExpr | Gecode::sqrt (const LinFloatExpr &x) |
Return expression for ![]() | |
LinFloatExpr | Gecode::pow (const LinFloatExpr &x, int n) |
Return expression for ![]() | |
LinFloatExpr | Gecode::nroot (const LinFloatExpr &x, int n) |
Return expression for ![]() | |
LinFloatExpr | Gecode::exp (const LinFloatExpr &x) |
Return expression for ![]() | |
LinFloatExpr | Gecode::log (const LinFloatExpr &x) |
Return expression for ![]() | |
LinFloatExpr | Gecode::asin (const LinFloatExpr &x) |
Return expression for ![]() | |
LinFloatExpr | Gecode::sin (const LinFloatExpr &x) |
Return expression for ![]() | |
LinFloatExpr | Gecode::acos (const LinFloatExpr &x) |
Return expression for ![]() | |
LinFloatExpr | Gecode::cos (const LinFloatExpr &x) |
Return expression for ![]() | |
LinFloatExpr | Gecode::atan (const LinFloatExpr &x) |
Return expression for ![]() | |
LinFloatExpr | Gecode::tan (const LinFloatExpr &x) |
Return expression for ![]() | |
LinFloatExpr Gecode::abs | ( | const LinFloatExpr & | e | ) |
Return expression for .
Definition at line 328 of file float-arith.cpp.
LinFloatExpr Gecode::min | ( | const LinFloatExpr & | e0, |
const LinFloatExpr & | e1 | ||
) |
Return expression for .
Definition at line 339 of file float-arith.cpp.
LinFloatExpr Gecode::min | ( | const FloatVarArgs & | x | ) |
Return expression for .
Definition at line 372 of file float-arith.cpp.
LinFloatExpr Gecode::max | ( | const LinFloatExpr & | e0, |
const LinFloatExpr & | e1 | ||
) |
Return expression for .
Definition at line 382 of file float-arith.cpp.
LinFloatExpr Gecode::max | ( | const FloatVarArgs & | x | ) |
Return expression for .
Definition at line 415 of file float-arith.cpp.
Return expression as product of float variables.
Definition at line 425 of file float-arith.cpp.
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.
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.
LinFloatExpr Gecode::operator* | ( | const LinFloatExpr & | e0, |
const LinFloatExpr & | e1 | ||
) |
Return expression for .
Definition at line 455 of file float-arith.cpp.
LinFloatExpr Gecode::operator/ | ( | const LinFloatExpr & | e0, |
const LinFloatExpr & | e1 | ||
) |
Return expression for .
Definition at line 465 of file float-arith.cpp.
LinFloatExpr Gecode::sqr | ( | const LinFloatExpr & | e | ) |
Return expression for .
Definition at line 475 of file float-arith.cpp.
LinFloatExpr Gecode::sqrt | ( | const LinFloatExpr & | e | ) |
Return expression for .
Definition at line 484 of file float-arith.cpp.
LinFloatExpr Gecode::pow | ( | const LinFloatExpr & | e, |
int | exp | ||
) |
Return expression for .
Definition at line 493 of file float-arith.cpp.
LinFloatExpr Gecode::nroot | ( | const LinFloatExpr & | e, |
int | exp | ||
) |
Return expression for .
Definition at line 502 of file float-arith.cpp.
LinFloatExpr Gecode::exp | ( | const LinFloatExpr & | e | ) |
Return expression for .
Definition at line 513 of file float-arith.cpp.
LinFloatExpr Gecode::log | ( | const LinFloatExpr & | e | ) |
Return expression for .
Definition at line 522 of file float-arith.cpp.
LinFloatExpr Gecode::asin | ( | const LinFloatExpr & | e | ) |
Return expression for .
Definition at line 531 of file float-arith.cpp.
LinFloatExpr Gecode::sin | ( | const LinFloatExpr & | e | ) |
Return expression for .
Definition at line 540 of file float-arith.cpp.
LinFloatExpr Gecode::acos | ( | const LinFloatExpr & | e | ) |
Return expression for .
Definition at line 549 of file float-arith.cpp.
LinFloatExpr Gecode::cos | ( | const LinFloatExpr & | e | ) |
Return expression for .
Definition at line 558 of file float-arith.cpp.
LinFloatExpr Gecode::atan | ( | const LinFloatExpr & | e | ) |
Return expression for .
Definition at line 567 of file float-arith.cpp.
LinFloatExpr Gecode::tan | ( | const LinFloatExpr & | e | ) |
Return expression for .
Definition at line 576 of file float-arith.cpp.