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 . 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.