arithmetic.hh File Reference
(Revision: 10021)
#include <gecode/int.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/sqr.hpp>#include <gecode/int/arithmetic/sqrt.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::SqrPlusBnd< VA, VB > |
| Bounds consistent positive square propagator. More... | |
| class | Gecode::Int::Arithmetic::SqrBnd< View > |
| Bounds consistent square propagator. More... | |
| class | Gecode::Int::Arithmetic::SqrPlusDom< VA, VB > |
| Domain consistent positive square propagator. More... | |
| class | Gecode::Int::Arithmetic::SqrDom< View > |
| Domain consistent square propagator. More... | |
| class | Gecode::Int::Arithmetic::SqrtBnd< View > |
| Bounds consistent square root propagator. More... | |
| class | Gecode::Int::Arithmetic::SqrtDom< View > |
| Domain consistent square root propagator. More... | |
| class | Gecode::Int::Arithmetic::MultZeroOne< View, pc > |
Bounds or domain consistent propagator for  . More... | |
| class | Gecode::Int::Arithmetic::MultPlusBnd< Val, VA, VB, VC > |
| Bounds consistent positive multiplication propagator. More... | |
| class | Gecode::Int::Arithmetic::MultBnd< View > |
| Bounds consistent multiplication propagator. More... | |
| class | Gecode::Int::Arithmetic::MultPlusDom< Val, VA, VB, VC > |
| Domain consistent positive multiplication propagator. More... | |
| class | Gecode::Int::Arithmetic::MultDom< View > |
| Domain consistent multiplication propagator. More... | |
| class | Gecode::Int::Arithmetic::DivPlusBnd< Val, 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. | |