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