|
| 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 \(|e|\).
|
| LinIntExpr | Gecode::min (const LinIntExpr &x, const LinIntExpr &y) |
| | Return expression for \(\min(x,y)\).
|
| LinIntExpr | Gecode::max (const LinIntExpr &x, const LinIntExpr &y) |
| | Return expression for \(\max(x,y)\).
|
| LinIntExpr | Gecode::min (const IntVarArgs &x) |
| | Return expression for \(\min(x)\).
|
| LinIntExpr | Gecode::max (const IntVarArgs &x) |
| | Return expression for \(\max(x)\).
|
| LinIntExpr | Gecode::operator* (const LinIntExpr &x, const LinIntExpr &y) |
| | Return expression for \(x\cdot y\).
|
| LinIntExpr | Gecode::sqr (const LinIntExpr &x) |
| | Return expression for \(x^2\).
|
| LinIntExpr | Gecode::sqrt (const LinIntExpr &x) |
| | Return expression for \(\lfloor\sqrt{x}\rfloor\).
|
| LinIntExpr | Gecode::pow (const LinIntExpr &x, int n) |
| | Return expression for \(x^n\).
|
| LinIntExpr | Gecode::nroot (const LinIntExpr &x, int n) |
| | Return expression for \(\lfloor\sqrt[n]{x}\rfloor\).
|
| LinIntExpr | Gecode::operator/ (const LinIntExpr &x, const LinIntExpr &y) |
| | Return expression for \(x\ \mathrm{div}\ y\).
|
| LinIntExpr | Gecode::operator% (const LinIntExpr &x, const LinIntExpr &y) |
| | Return expression for \(x\ \mathrm{mod}\ y\).
|
| LinIntExpr | Gecode::element (const IntVarArgs &x, const LinIntExpr &y) |
| | Return expression for \(x[y]\).
|
| LinIntExpr | Gecode::element (const IntArgs &x, const LinIntExpr &y) |
| | Return expression for \(x[y]\).
|
| LinIntExpr | Gecode::ite (const BoolExpr &b, const LinIntExpr &x, const LinIntExpr &y) |
| | Return expression for if-then-else \(b?x:y\).
|
