Generated on Thu Mar 22 10:39:47 2012 for Gecode by doxygen 1.6.3
gecode » minimodel

arithmetic.cpp File Reference

(Revision: 11206)

#include <gecode/minimodel.hh>

Go to the source code of this file.

Classes

class  Gecode::MiniModel::ArithNonLinExpr
 Non-linear arithmetic expressions. More...

Namespaces

namespace  Gecode
 

Gecode toplevel namespace


namespace  Gecode::MiniModel
 

Minimalistic modeling support.


Functions

bool Gecode::MiniModel::hasType (const LinExpr &e, ArithNonLinExpr::ArithNonLinExprType t)
 Check if e is of type t.
LinExpr Gecode::abs (const LinExpr &e)
 Return expression for $|e|$.
LinExpr Gecode::min (const LinExpr &x, const LinExpr &y)
 Return expression for $\min(x,y)$.
LinExpr Gecode::max (const LinExpr &x, const LinExpr &y)
 Return expression for $\max(x,y)$.
LinExpr Gecode::min (const IntVarArgs &x)
 Return expression for $\min(x)$.
LinExpr Gecode::max (const IntVarArgs &x)
 Return expression for $\max(x)$.
LinExpr Gecode::operator* (const LinExpr &x, const LinExpr &y)
 Return expression for $x\cdot y$.
LinExpr Gecode::sqr (const LinExpr &x)
 Return expression for $x^2$.
LinExpr Gecode::sqrt (const LinExpr &x)
 Return expression for $\lfloor\sqrt{x}\rfloor$.
LinExpr Gecode::operator/ (const LinExpr &x, const LinExpr &y)
 Return expression for $x\ \mathrm{div}\ y$.
LinExpr Gecode::operator% (const LinExpr &x, const LinExpr &y)
 Return expression for $x\ \mathrm{mod}\ y$.
LinExpr Gecode::element (const IntVarArgs &x, const LinExpr &y)
 Return expression for $x[y]$.
LinExpr Gecode::element (const IntArgs &x, const LinExpr &y)
 Return expression for $x[y]$.