Generated on Mon Nov 30 23:53:42 2009 for Gecode by doxygen 1.6.1

Arithmetic functions
[Direct modeling support]

Functions

IntVar Gecode::abs (Home home, IntVar x, IntConLevel icl=ICL_DEF)
 Return variable constrained to $|x|$.
IntVar Gecode::min (Home home, IntVar x, IntVar y, IntConLevel icl=ICL_DEF)
 Return variable constrained to $\min(x,y)$.
IntVar Gecode::min (Home home, const IntVarArgs &x, IntConLevel icl=ICL_DEF)
 Return variable constrained to $\min(x)$.
IntVar Gecode::max (Home home, IntVar x, IntVar y, IntConLevel icl=ICL_DEF)
 Return variable constrained to $\max(x,y)$.
IntVar Gecode::max (Home home, const IntVarArgs &x, IntConLevel icl=ICL_DEF)
 Return variable constrained to $\max(x)$.
IntVar Gecode::mult (Home home, IntVar x, IntVar y, IntConLevel icl=ICL_DEF)
 Return variable constrained to $x\cdot y$.
IntVar Gecode::div (Home home, IntVar x, IntVar y, IntConLevel icl=ICL_DEF)
 Return variable constrained to $x\ \mathrm{div}\ y$.
IntVar Gecode::mod (Home home, IntVar x, IntVar y, IntConLevel icl=ICL_DEF)
 Return variable constrained to $x\ \mathrm{mod}\ y$.
IntVar Gecode::sqr (Home home, IntVar x, IntConLevel icl=ICL_DEF)
 Return variable constrained to $x^2$.
IntVar Gecode::sqrt (Home home, IntVar x, IntConLevel icl=ICL_DEF)
 Return variable constrained to $\lfloor\sqrt{x}\rfloor$.
IntVar Gecode::plus (Home home, IntVar x, IntVar y, IntConLevel icl=ICL_DEF)
 Return variable constrained to $x+y$.
IntVar Gecode::minus (Home home, IntVar x, IntVar y, IntConLevel icl)

Function Documentation

IntVar Gecode::abs ( Home  home,
IntVar  x,
IntConLevel  icl = ICL_DEF 
) [inline]

Return variable constrained to $|x|$.

Supports both bounds consistency (icl = ICL_BND, default) and domain consistency (icl = ICL_DOM).

IntVar Gecode::min ( Home  home,
IntVar  x,
IntVar  y,
IntConLevel  icl = ICL_DEF 
) [inline]

Return variable constrained to $\min(x,y)$.

Supports both bounds consistency (icl = ICL_BND, default) and domain consistency (icl = ICL_DOM).

IntVar Gecode::min ( Home  home,
const IntVarArgs &  x,
IntConLevel  icl = ICL_DEF 
) [inline]

Return variable constrained to $\min(x)$.

Supports both bounds consistency (icl = ICL_BND, default) and domain consistency (icl = ICL_DOM).

IntVar Gecode::max ( Home  home,
IntVar  x,
IntVar  y,
IntConLevel  icl = ICL_DEF 
) [inline]

Return variable constrained to $\max(x,y)$.

Supports both bounds consistency (icl = ICL_BND, default) and domain consistency (icl = ICL_DOM).

IntVar Gecode::max ( Home  home,
const IntVarArgs &  x,
IntConLevel  icl = ICL_DEF 
) [inline]

Return variable constrained to $\max(x)$.

Supports both bounds consistency (icl = ICL_BND, default) and domain consistency (icl = ICL_DOM).

IntVar Gecode::mult ( Home  home,
IntVar  x,
IntVar  y,
IntConLevel  icl = ICL_DEF 
) [inline]

Return variable constrained to $x\cdot y$.

Supports both bounds consistency (icl = ICL_BND, default) and domain consistency (icl = ICL_DOM).

IntVar Gecode::div ( Home  home,
IntVar  x,
IntVar  y,
IntConLevel  icl = ICL_DEF 
) [inline]

Return variable constrained to $x\ \mathrm{div}\ y$.

Supports bounds consistency (icl = ICL_BND, default).

IntVar Gecode::mod ( Home  home,
IntVar  x,
IntVar  y,
IntConLevel  icl = ICL_DEF 
) [inline]

Return variable constrained to $x\ \mathrm{mod}\ y$.

Supports bounds consistency (icl = ICL_BND, default).

IntVar Gecode::sqr ( Home  home,
IntVar  x,
IntConLevel  icl = ICL_DEF 
) [inline]

Return variable constrained to $x^2$.

Supports both bounds consistency (icl = ICL_BND, default) and domain consistency (icl = ICL_DOM).

IntVar Gecode::sqrt ( Home  home,
IntVar  x,
IntConLevel  icl = ICL_DEF 
) [inline]

Return variable constrained to $\lfloor\sqrt{x}\rfloor$.

Supports both bounds consistency (icl = ICL_BND, default) and domain consistency (icl = ICL_DOM).

IntVar Gecode::plus ( Home  home,
IntVar  x,
IntVar  y,
IntConLevel  icl = ICL_DEF 
) [inline]

Return variable constrained to $x+y$.

Supports both bounds consistency (icl = ICL_BND, default) and domain consistency (icl = ICL_DOM).

IntVar Gecode::minus ( Home  home,
IntVar  x,
IntVar  y,
IntConLevel  icl = ICL_DEF 
) [inline]

Return variable constrained to $x-y$

Supports both bounds consistency (icl = ICL_BND, default) and domain consistency (icl = ICL_DOM).