Generated on Wed Mar 19 07:30:04 2008 for Gecode by doxygen 1.5.5

arithmetic.hh File Reference

(Revision: 6288)

#include "gecode/int.hh"
#include "gecode/int/rel.hh"
#include "gecode/int/linear.hh"
#include "gecode/int/arithmetic/abs.icc"
#include "gecode/int/arithmetic/max.icc"
#include "gecode/int/arithmetic/sqr.icc"
#include "gecode/int/arithmetic/sqrt.icc"
#include "gecode/int/arithmetic/mult.icc"

Go to the source code of this file.

Namespaces

namespace  Gecode::Int::Arithmetic
namespace  Gecode
namespace  Gecode::Int

Classes

class  Gecode::Int::Arithmetic::AbsBnd< View >
 Bounds-consistent absolute value propagator. More...
class  Gecode::Int::Arithmetic::AbsDom< View >
 Domain-consistent absolute value propagator. More...
class  Gecode::Int::Arithmetic::Max< View >
 Bounds-consistent ternary maximum propagator. More...
class  Gecode::Int::Arithmetic::NaryMax< View >
 Bounds-consistent n-ary maximum propagator. More...
class  Gecode::Int::Arithmetic::SqrPlus< VA, VB >
 Bounds-consistent positive square propagator. More...
class  Gecode::Int::Arithmetic::Sqr< View >
 Bounds-consistent square propagator. More...
class  Gecode::Int::Arithmetic::Sqrt< View >
 Bounds-consistent square root propagator. More...
class  Gecode::Int::Arithmetic::MultZeroOne< View >
 Bounds-consistent propagator for $x_0\times x_1=x_0$. More...
class  Gecode::Int::Arithmetic::MultPlus< Val, VA, VB, VC >
 Bounds-consistent positive multiplication propagator. More...
class  Gecode::Int::Arithmetic::Mult< View >
 Bounds-consistent multiplication propagator. More...

Functions

template<class View>
ExecStatus Gecode::Int::Arithmetic::prop_bnd (Space *home, Propagator *p, ViewArray< View > &)
 Perform bounds-consistent absolute value propagation.