Generated on Sat Oct 20 2018 12:43:45 for Gecode by doxygen 1.8.13

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

◆ abs()

LinIntExpr Gecode::abs ( const LinIntExpr e)

Return expression for $|e|$.

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

◆ min() [1/2]

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

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

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

◆ min() [2/2]

LinIntExpr Gecode::min ( const IntVarArgs x)

Return expression for $\min(x)$.

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

◆ max() [1/2]

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

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

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

◆ max() [2/2]

LinIntExpr Gecode::max ( const IntVarArgs x)

Return expression for $\max(x)$.

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

◆ operator*() [1/4]

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

Return expression as product of float variables.

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

◆ operator*() [2/4]

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

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

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

◆ operator*() [3/4]

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

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

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

◆ operator*() [4/4]

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

Return expression for $x\cdot y$.

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

◆ operator/()

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

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

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

◆ operator%()

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

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

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

◆ sqr()

LinIntExpr Gecode::sqr ( const LinIntExpr e)

Return expression for $x^2$.

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

◆ sqrt()

LinIntExpr Gecode::sqrt ( const LinIntExpr e)

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

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

◆ pow()

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

Return expression for $x^n$.

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

◆ nroot()

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

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

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

◆ element() [1/3]

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

Return expression for $x[y]$.

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

◆ element() [2/3]

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

Return expression for $x[y]$.

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

◆ element() [3/3]

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

Return expression for $x[y]$.

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

◆ ite()

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

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

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