Generated on Tue May 22 09:40:41 2018 for Gecode by doxygen 1.6.3

Arithmetic functions
[Direct modeling support]

Functions

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::min (const IntVarArgs &x)
 Return expression for $\min(x)$.
LinIntExpr Gecode::max (const LinIntExpr &x, const LinIntExpr &y)
 Return expression for $\max(x,y)$.
LinIntExpr Gecode::max (const IntVarArgs &x)
 Return expression for $\max(x)$.
LinFloatExpr Gecode::operator* (const FloatVar &, const FloatVar &)
 Return expression as product of float variables.
LinFloatExpr Gecode::operator* (const FloatVar &, const LinFloatExpr &)
 Return expression as product of float variable and linear float expression.
LinFloatExpr Gecode::operator* (const LinFloatExpr &, const FloatVar &)
 Return expression as product of linear float expression and float variable.
LinIntExpr Gecode::operator* (const LinIntExpr &x, const LinIntExpr &y)
 Return expression for $x\cdot y$.
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::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::element (const IntVarArgs &x, const LinIntExpr &y)
 Return expression for $x[y]$.
BoolExpr Gecode::element (const BoolVarArgs &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$.

Function Documentation

LinIntExpr Gecode::abs ( const LinIntExpr &  e  ) 

Return expression for $|e|$.

LinIntExpr Gecode::min ( const LinIntExpr &  e0,
const LinIntExpr &  e1 
)

Return expression for $\min(x,y)$.

LinIntExpr Gecode::min ( const IntVarArgs &  x  ) 

Return expression for $\min(x)$.

LinIntExpr Gecode::max ( const LinIntExpr &  e0,
const LinIntExpr &  e1 
)

Return expression for $\max(x,y)$.

LinIntExpr Gecode::max ( const IntVarArgs &  x  ) 

Return expression for $\max(x)$.

LinFloatExpr Gecode::operator* ( const FloatVar &  e0,
const FloatVar &  e1 
)

Return expression as product of float variables.

LinFloatExpr Gecode::operator* ( const FloatVar &  e0,
const LinFloatExpr &  e1 
)

Return expression as product of float variable and linear float expression.

LinFloatExpr Gecode::operator* ( const LinFloatExpr &  e0,
const FloatVar &  e1 
)

Return expression as product of linear float expression and float variable.

LinIntExpr Gecode::operator* ( const LinIntExpr &  e0,
const LinIntExpr &  e1 
)

Return expression for $x\cdot y$.

LinIntExpr Gecode::operator/ ( const LinIntExpr &  e0,
const LinIntExpr &  e1 
)

Return expression for $x\ \mathrm{div}\ y$.

LinIntExpr Gecode::operator% ( const LinIntExpr &  e0,
const LinIntExpr &  e1 
)

Return expression for $x\ \mathrm{mod}\ y$.

LinIntExpr Gecode::sqr ( const LinIntExpr &  e  ) 

Return expression for $x^2$.

LinIntExpr Gecode::sqrt ( const LinIntExpr &  e  ) 

Return expression for $\lfloor\sqrt{x}\rfloor$.

LinIntExpr Gecode::pow ( const LinIntExpr &  e,
int  n 
)

Return expression for $x^n$.

LinIntExpr Gecode::nroot ( const LinIntExpr &  e,
int  n 
)

Return expression for $\lfloor\sqrt[n]{x}\rfloor$.

LinIntExpr Gecode::element ( const IntVarArgs &  x,
const LinIntExpr &  e 
)

Return expression for $x[y]$.

BoolExpr Gecode::element ( const BoolVarArgs &  b,
const LinIntExpr &  idx 
)

Return expression for $x[y]$.

LinIntExpr Gecode::element ( const IntArgs &  x,
const LinIntExpr &  e 
)

Return expression for $x[y]$.

LinIntExpr Gecode::ite ( const BoolExpr &  b,
const LinIntExpr &  e0,
const LinIntExpr &  e1 
)

Return expression for if-then-else $b?x:y$.