Generated on Sat Feb 7 2015 02:01:36 for Gecode by doxygen 1.8.9.1

Functions

LinIntExpr Gecode::abs (const LinIntExpr &e)
 Return expression for $|e|$. More...
 
LinIntExpr Gecode::min (const LinIntExpr &x, const LinIntExpr &y)
 Return expression for $\min(x,y)$. More...
 
LinIntExpr Gecode::min (const IntVarArgs &x)
 Return expression for $\min(x)$. More...
 
LinIntExpr Gecode::max (const LinIntExpr &x, const LinIntExpr &y)
 Return expression for $\max(x,y)$. More...
 
LinIntExpr Gecode::max (const IntVarArgs &x)
 Return expression for $\max(x)$. More...
 
LinFloatExpr Gecode::operator* (const FloatVar &, const FloatVar &)
 Return expression as product of float variables. More...
 
LinFloatExpr Gecode::operator* (const FloatVar &, const LinFloatExpr &)
 Return expression as product of float variable and linear float expression. More...
 
LinFloatExpr Gecode::operator* (const LinFloatExpr &, const FloatVar &)
 Return expression as product of linear float expression and float variable. More...
 
LinIntExpr Gecode::operator* (const LinIntExpr &x, const LinIntExpr &y)
 Return expression for $x\cdot y$. More...
 
LinIntExpr Gecode::operator/ (const LinIntExpr &x, const LinIntExpr &y)
 Return expression for $x\ \mathrm{div}\ y$. More...
 
LinIntExpr Gecode::operator% (const LinIntExpr &x, const LinIntExpr &y)
 Return expression for $x\ \mathrm{mod}\ y$. More...
 
LinIntExpr Gecode::sqr (const LinIntExpr &x)
 Return expression for $x^2$. More...
 
LinIntExpr Gecode::sqrt (const LinIntExpr &x)
 Return expression for $\lfloor\sqrt{x}\rfloor$. More...
 
LinIntExpr Gecode::pow (const LinIntExpr &x, int n)
 Return expression for $x^n$. More...
 
LinIntExpr Gecode::nroot (const LinIntExpr &x, int n)
 Return expression for $\lfloor\sqrt[n]{x}\rfloor$. More...
 
LinIntExpr Gecode::element (const IntVarArgs &x, const LinIntExpr &y)
 Return expression for $x[y]$. More...
 
BoolExpr Gecode::element (const BoolVarArgs &x, const LinIntExpr &y)
 Return expression for $x[y]$. More...
 
LinIntExpr Gecode::element (const IntArgs &x, const LinIntExpr &y)
 Return expression for $x[y]$. More...
 
LinIntExpr Gecode::ite (const BoolExpr &b, const LinIntExpr &x, const LinIntExpr &y)
 Return expression for if-then-else $b?x:y$. More...
 

Detailed Description

Function Documentation

LinIntExpr Gecode::abs ( const LinIntExpr e)

Return expression for $|e|$.

Definition at line 303 of file int-arith.cpp.

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

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

Definition at line 314 of file int-arith.cpp.

LinIntExpr Gecode::min ( const IntVarArgs x)

Return expression for $\min(x)$.

Definition at line 380 of file int-arith.cpp.

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

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

Definition at line 347 of file int-arith.cpp.

LinIntExpr Gecode::max ( const IntVarArgs x)

Return expression for $\max(x)$.

Definition at line 390 of file int-arith.cpp.

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

Return expression as product of float variables.

Definition at line 426 of file float-arith.cpp.

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

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

Definition at line 446 of file float-arith.cpp.

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

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

Definition at line 436 of file float-arith.cpp.

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

Return expression for $x\cdot y$.

Definition at line 400 of file int-arith.cpp.

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

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

Definition at line 446 of file int-arith.cpp.

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

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

Definition at line 456 of file int-arith.cpp.

LinIntExpr Gecode::sqr ( const LinIntExpr e)

Return expression for $x^2$.

Definition at line 410 of file int-arith.cpp.

LinIntExpr Gecode::sqrt ( const LinIntExpr e)

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

Definition at line 419 of file int-arith.cpp.

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

Return expression for $x^n$.

Definition at line 428 of file int-arith.cpp.

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

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

Definition at line 437 of file int-arith.cpp.

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

Return expression for $x[y]$.

Definition at line 466 of file int-arith.cpp.

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

Return expression for $x[y]$.

Definition at line 690 of file bool-expr.cpp.

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

Return expression for $x[y]$.

Definition at line 477 of file int-arith.cpp.

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

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

Definition at line 488 of file int-arith.cpp.