#include <gecode/minimodel.hh>
Go to the source code of this file.
Classes | |
class | Gecode::MiniModel::ArithNonLinIntExpr |
Non-linear arithmetic expressions over integer variables. More... | |
Namespaces | |
Gecode::MiniModel | |
Minimalistic modeling support. | |
Functions | |
bool | Gecode::MiniModel::hasType (const LinIntExpr &e, ArithNonLinIntExpr::ArithNonLinIntExprType t) |
Check if e is of type t. More... | |
LinIntExpr | Gecode::abs (const LinIntExpr &e) |
Return expression for ![]() | |
LinIntExpr | Gecode::min (const LinIntExpr &x, const LinIntExpr &y) |
Return expression for ![]() | |
LinIntExpr | Gecode::max (const LinIntExpr &x, const LinIntExpr &y) |
Return expression for ![]() | |
LinIntExpr | Gecode::min (const IntVarArgs &x) |
Return expression for ![]() | |
LinIntExpr | Gecode::max (const IntVarArgs &x) |
Return expression for ![]() | |
LinIntExpr | Gecode::operator* (const LinIntExpr &x, const LinIntExpr &y) |
Return expression for ![]() | |
LinIntExpr | Gecode::sqr (const LinIntExpr &x) |
Return expression for ![]() | |
LinIntExpr | Gecode::sqrt (const LinIntExpr &x) |
Return expression for ![]() | |
LinIntExpr | Gecode::pow (const LinIntExpr &x, int n) |
Return expression for ![]() | |
LinIntExpr | Gecode::nroot (const LinIntExpr &x, int n) |
Return expression for ![]() | |
LinIntExpr | Gecode::operator/ (const LinIntExpr &x, const LinIntExpr &y) |
Return expression for ![]() | |
LinIntExpr | Gecode::operator% (const LinIntExpr &x, const LinIntExpr &y) |
Return expression for ![]() | |
LinIntExpr | Gecode::element (const IntVarArgs &x, const LinIntExpr &y) |
Return expression for ![]() | |
LinIntExpr | Gecode::element (const IntArgs &x, const LinIntExpr &y) |
Return expression for ![]() | |
LinIntExpr | Gecode::ite (const BoolExpr &b, const LinIntExpr &x, const LinIntExpr &y) |
Return expression for if-then-else ![]() | |
LinIntExpr Gecode::abs | ( | const LinIntExpr & | e | ) |
Return expression for .
Definition at line 300 of file int-arith.cpp.
LinIntExpr Gecode::min | ( | const LinIntExpr & | e0, |
const LinIntExpr & | e1 | ||
) |
Return expression for .
Definition at line 311 of file int-arith.cpp.
LinIntExpr Gecode::max | ( | const LinIntExpr & | e0, |
const LinIntExpr & | e1 | ||
) |
Return expression for .
Definition at line 344 of file int-arith.cpp.
LinIntExpr Gecode::min | ( | const IntVarArgs & | x | ) |
Return expression for .
Definition at line 377 of file int-arith.cpp.
LinIntExpr Gecode::max | ( | const IntVarArgs & | x | ) |
Return expression for .
Definition at line 387 of file int-arith.cpp.
LinIntExpr Gecode::operator* | ( | const LinIntExpr & | e0, |
const LinIntExpr & | e1 | ||
) |
Return expression for .
Definition at line 397 of file int-arith.cpp.
LinIntExpr Gecode::sqr | ( | const LinIntExpr & | e | ) |
Return expression for .
Definition at line 407 of file int-arith.cpp.
LinIntExpr Gecode::sqrt | ( | const LinIntExpr & | e | ) |
Return expression for .
Definition at line 416 of file int-arith.cpp.
LinIntExpr Gecode::pow | ( | const LinIntExpr & | e, |
int | n | ||
) |
Return expression for .
Definition at line 425 of file int-arith.cpp.
LinIntExpr Gecode::nroot | ( | const LinIntExpr & | e, |
int | n | ||
) |
Return expression for .
Definition at line 434 of file int-arith.cpp.
LinIntExpr Gecode::operator/ | ( | const LinIntExpr & | e0, |
const LinIntExpr & | e1 | ||
) |
Return expression for .
Definition at line 443 of file int-arith.cpp.
LinIntExpr Gecode::operator% | ( | const LinIntExpr & | e0, |
const LinIntExpr & | e1 | ||
) |
Return expression for .
Definition at line 453 of file int-arith.cpp.
LinIntExpr Gecode::element | ( | const IntVarArgs & | x, |
const LinIntExpr & | e | ||
) |
Return expression for .
Definition at line 463 of file int-arith.cpp.
LinIntExpr Gecode::element | ( | const IntArgs & | x, |
const LinIntExpr & | e | ||
) |
Return expression for .
Definition at line 474 of file int-arith.cpp.
LinIntExpr Gecode::ite | ( | const BoolExpr & | b, |
const LinIntExpr & | e0, | ||
const LinIntExpr & | e1 | ||
) |
Return expression for if-then-else .
Definition at line 485 of file int-arith.cpp.