Generated on Mon May 5 05:54:07 2008 for Gecode by doxygen 1.5.5

arithmetic.cc File Reference

(Revision: 6264)

#include "gecode/minimodel.hh"
#include <algorithm>

Go to the source code of this file.

Namespaces

namespace  Gecode

Defines

#define GECODE_MM_RETURN_FAILED

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=ICL_DEF, PropKind pk=PK_DEF)
 Return variable constrained to $x-y$.


Define Documentation

#define GECODE_MM_RETURN_FAILED

Value:

if (home->failed()) {                           \
  IntVar _x(home,0,0); return _x;               \
}

Definition at line 44 of file arithmetic.cc.