Go to the source code of this file.
|
bool | Gecode::MiniModel::hasType (const LinIntExpr &e, ArithNonLinIntExpr::ArithNonLinIntExprType t) |
| Check if e is of type t.
|
|
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 .
|
|