Generated on Tue Feb 11 2025 17:33:26 for Gecode by doxygen 1.12.0
int-arith.cpp File Reference

Go to the source code of this file.

Classes

class  Gecode::MiniModel::ArithNonLinIntExpr
 Non-linear arithmetic expressions over integer variables. More...
 

Namespaces

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

Functions

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$.