Generated on Mon Jul 6 18:09:22 2009 for Gecode by doxygen 1.5.9
gecode » minimodel

arithmetic.hpp File Reference

(Revision: 8003)

Go to the source code of this file.


Namespaces

namespace  Gecode
 Gecode toplevel namespace.

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::div (Space &home, IntVar x, IntVar y, IntConLevel icl=ICL_DEF)
 Return variable constrained to $x\ \mathrm{div}\ y$.
IntVar Gecode::mod (Space &home, IntVar x, IntVar y, IntConLevel icl=ICL_DEF)
 Return variable constrained to $x\ \mathrm{mod}\ y$.
IntVar Gecode::sqr (Space &home, IntVar x, IntConLevel icl=ICL_DEF)
 Return variable constrained to $x^2$.
IntVar Gecode::sqrt (Space &home, IntVar x, IntConLevel icl=ICL_DEF)
 Return variable constrained to $\lfloor\sqrt{x}\rfloor$.
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)