Generated on Wed Nov 1 15:05:04 2006 for Gecode by doxygen 1.4.5

Arithmetic functions
[Direct modelling]

Collaboration diagram for Arithmetic functions:


Functions

IntVar Gecode::abs (Space *home, IntVar x, IntConLevel icl=ICL_DEF)
 Return variable constrained to $|x|$.
IntVar Gecode::min (Space *home, IntVar x, IntVar y, IntConLevel icl=ICL_DEF)
 Return variable constrained to $\min(x,y)$.
IntVar Gecode::min (Space *home, const IntVarArgs &x, IntConLevel icl=ICL_DEF)
 Return variable constrained to $\min(x)$.
IntVar Gecode::max (Space *home, IntVar x, IntVar y, IntConLevel icl=ICL_DEF)
 Return variable constrained to $\max(x,y)$.
IntVar Gecode::max (Space *home, const IntVarArgs &x, IntConLevel icl=ICL_DEF)
 Return variable constrained to $\max(x)$.
IntVar Gecode::mult (Space *home, IntVar x, IntVar y, IntConLevel icl=ICL_DEF)
 Return variable constrained to $x\cdot y$.
IntVar Gecode::sqr (Space *home, IntVar x, IntConLevel icl=ICL_DEF)
 Return variable constrained to $x^2$.
IntVar Gecode::plus (Space *home, IntVar x, IntVar y, IntConLevel icl=ICL_DEF)
 Return variable constrained to $x+y$.
IntVar Gecode::minus (Space *home, IntVar x, IntVar y, IntConLevel icl=ICL_DEF)
 Return variable constrained to $x-y$.

Function Documentation

IntVar Gecode::abs (  Space *  home,
IntVar  x,
IntConLevel  icl = ICL_DEF
) 
 

Return variable constrained to $|x|$.

Definition at line 34 of file arithmetic.cc.

IntVar Gecode::min (  Space *  home,
IntVar  x,
IntVar  y,
IntConLevel  icl = ICL_DEF
) 
 

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

Definition at line 46 of file arithmetic.cc.

IntVar Gecode::min (  Space *  home,
const IntVarArgs &  x,
IntConLevel  icl = ICL_DEF
) 
 

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

Definition at line 56 of file arithmetic.cc.

IntVar Gecode::max (  Space *  home,
IntVar  x,
IntVar  y,
IntConLevel  icl = ICL_DEF
) 
 

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

Definition at line 70 of file arithmetic.cc.

IntVar Gecode::max (  Space *  home,
const IntVarArgs &  x,
IntConLevel  icl = ICL_DEF
) 
 

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

Definition at line 80 of file arithmetic.cc.

IntVar Gecode::mult (  Space *  home,
IntVar  x,
IntVar  y,
IntConLevel  icl = ICL_DEF
) 
 

Return variable constrained to $x\cdot y$.

Definition at line 94 of file arithmetic.cc.

IntVar Gecode::sqr (  Space *  home,
IntVar  x,
IntConLevel  icl = ICL_DEF
) 
 

Return variable constrained to $x^2$.

Definition at line 102 of file arithmetic.cc.

IntVar Gecode::plus (  Space *  home,
IntVar  x,
IntVar  y,
IntConLevel  icl = ICL_DEF
) 
 

Return variable constrained to $x+y$.

Definition at line 110 of file arithmetic.cc.

IntVar Gecode::minus (  Space *  home,
IntVar  x,
IntVar  y,
IntConLevel  icl = ICL_DEF
) 
 

Return variable constrained to $x-y$.

Definition at line 122 of file arithmetic.cc.