Generated on Fri Oct 19 11:25:22 2018 for Gecode by doxygen 1.6.3

arithmetic.hh File Reference

#include <gecode/int.hh>
#include <gecode/int/idx-view.hh>
#include <gecode/int/rel.hh>
#include <gecode/int/linear.hh>
#include <gecode/int/arithmetic/abs.hpp>
#include <gecode/int/arithmetic/max.hpp>
#include <gecode/int/arithmetic/argmax.hpp>
#include <gecode/int/arithmetic/pow-ops.hpp>
#include <gecode/int/arithmetic/pow.hpp>
#include <gecode/int/arithmetic/nroot.hpp>
#include <gecode/int/arithmetic/mult.hpp>
#include <gecode/int/arithmetic/divmod.hpp>

Go to the source code of this file.

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::MaxBnd< View >
 Bounds consistent ternary maximum propagator. More...
class  Gecode::Int::Arithmetic::NaryMaxBnd< View >
 Bounds consistent n-ary maximum propagator. More...
class  Gecode::Int::Arithmetic::MaxDom< View >
 Domain consistent ternary maximum propagator. More...
class  Gecode::Int::Arithmetic::NaryMaxDom< View >
 Domain consistent n-ary maximum propagator. More...
class  Gecode::Int::Arithmetic::ArgMax< VA, VB, tiebreak >
 Argument maximum propagator. More...
class  Gecode::Int::Arithmetic::SqrOps
 Operations for square and square-root propagators. More...
class  Gecode::Int::Arithmetic::PowOps
 Operations for power and nroot propagators. More...
class  Gecode::Int::Arithmetic::PowPlusBnd< VA, VB, Ops >
 Bounds consistent positive power propagator. More...
class  Gecode::Int::Arithmetic::PowBnd< Ops >
 Bounds consistent power propagator. More...
class  Gecode::Int::Arithmetic::PowPlusDom< VA, VB, Ops >
 Domain consistent positive power propagator. More...
class  Gecode::Int::Arithmetic::PowDom< Ops >
 Domain consistent power propagator. More...
class  Gecode::Int::Arithmetic::NrootPlusBnd< Ops, minus >
 Positive bounds consistent n-th root propagator. More...
class  Gecode::Int::Arithmetic::NrootBnd< Ops >
 Bounds consistent n-th root propagator. More...
class  Gecode::Int::Arithmetic::NrootPlusDom< Ops, minus >
 Domain consistent n-th root propagator. More...
class  Gecode::Int::Arithmetic::NrootDom< Ops >
 Domain consistent n-th root propagator. More...
class  Gecode::Int::Arithmetic::MultZeroOne< View, pc >
 Bounds or domain consistent propagator for $x_0\times x_1=x_0$. More...
class  Gecode::Int::Arithmetic::MultPlusBnd< VA, VB, VC >
 Bounds consistent positive multiplication propagator. More...
class  Gecode::Int::Arithmetic::MultBnd
 Bounds consistent multiplication propagator. More...
class  Gecode::Int::Arithmetic::MultPlusDom< VA, VB, VC >
 Domain consistent positive multiplication propagator. More...
class  Gecode::Int::Arithmetic::MultDom
 Domain consistent multiplication propagator. More...
class  Gecode::Int::Arithmetic::DivPlusBnd< VA, VB, VC >
 Bounds consistent positive division propagator. More...
class  Gecode::Int::Arithmetic::DivBnd< View >
 Bounds consistent division propagator. More...
class  Gecode::Int::Arithmetic::DivMod< View >
 Integer division/modulo propagator. More...

Namespaces

namespace  Gecode::Int::Arithmetic
 

Numerical (arithmetic) propagators.


namespace  Gecode
 

Gecode toplevel namespace


namespace  Gecode::Int
 

Finite domain integers.