Generated on Mon Aug 25 11:35:47 2008 for Gecode by doxygen 1.5.6

Arithmetic functions
[Direct modelling]


Functions

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


Function Documentation

IntVar Gecode::abs ( Space *  home,
IntVar  x,
IntConLevel  icl = ICL_DEF,
PropKind  pk = PK_DEF 
) [inline]

Return variable constrained to $|x|$.

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

Definition at line 41 of file arithmetic.icc.

IntVar Gecode::min ( Space *  home,
IntVar  x,
IntVar  y,
IntConLevel  icl = ICL_DEF,
PropKind  pk = PK_DEF 
) [inline]

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

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

Definition at line 50 of file arithmetic.icc.

IntVar Gecode::min ( Space *  home,
const IntVarArgs &  x,
IntConLevel  icl = ICL_DEF,
PropKind  pk = PK_DEF 
) [inline]

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

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

Definition at line 57 of file arithmetic.icc.

IntVar Gecode::max ( Space *  home,
IntVar  x,
IntVar  y,
IntConLevel  icl = ICL_DEF,
PropKind  pk = PK_DEF 
) [inline]

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

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

Definition at line 64 of file arithmetic.icc.

IntVar Gecode::max ( Space *  home,
const IntVarArgs &  x,
IntConLevel  icl = ICL_DEF,
PropKind  pk = PK_DEF 
) [inline]

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

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

Definition at line 71 of file arithmetic.icc.

IntVar Gecode::mult ( Space *  home,
IntVar  x,
IntVar  y,
IntConLevel  icl = ICL_DEF,
PropKind  pk = PK_DEF 
) [inline]

Return variable constrained to $x\cdot y$.

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

Definition at line 78 of file arithmetic.icc.

IntVar Gecode::sqr ( Space *  home,
IntVar  x,
IntConLevel  icl = ICL_DEF,
PropKind  pk = PK_DEF 
) [inline]

Return variable constrained to $x^2$.

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

Definition at line 85 of file arithmetic.icc.

IntVar Gecode::sqrt ( Space *  home,
IntVar  x,
IntConLevel  icl = ICL_DEF,
PropKind  pk = PK_DEF 
) [inline]

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

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

Definition at line 92 of file arithmetic.icc.

IntVar Gecode::plus ( Space *  home,
IntVar  x,
IntVar  y,
IntConLevel  icl = ICL_DEF,
PropKind  pk = PK_DEF 
) [inline]

Return variable constrained to $x+y$.

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

Definition at line 99 of file arithmetic.icc.

IntVar Gecode::minus ( Space *  home,
IntVar  x,
IntVar  y,
IntConLevel  icl = ICL_DEF,
PropKind  pk = PK_DEF 
) [inline]

Return variable constrained to $x-y$

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

Definition at line 108 of file arithmetic.icc.