arithmetic.hh File Reference
(Revision: 3512)
#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/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::SquarePlus< VA, VB > |
| Bounds-consistent positive square propagator. More... | |
| class | Gecode::Int::Arithmetic::Square< View > |
| Bounds-consistent square propagator. More... | |
| class | Gecode::Int::Arithmetic::MultPlus< 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, ViewArray< View > &) |
| Perform bounds-consistent absolute value propagation. | |