arithmetic.hh File Reference
#include <gecode/int.hh>
#include <gecode/float.hh>
#include <gecode/float/rel.hh>
#include <gecode/float/arithmetic/sqr-sqrt.hpp>
#include <gecode/float/arithmetic/abs.hpp>
#include <gecode/float/arithmetic/pow-nroot.hpp>
#include <gecode/float/arithmetic/mult.hpp>
#include <gecode/float/arithmetic/div.hpp>
#include <gecode/float/arithmetic/min-max.hpp>
Go to the source code of this file.
Classes | |
class | Gecode::Float::Arithmetic::SqrPlus< VA, VB > |
Bounds consistent positive square propagator. More... | |
class | Gecode::Float::Arithmetic::Sqr< View > |
Propagator for bounds consistent square operator More... | |
class | Gecode::Float::Arithmetic::Sqrt< A, B > |
Propagator for bounds consistent square root operator More... | |
class | Gecode::Float::Arithmetic::Abs< A, B > |
Propagator for bounds consistent absolute operator More... | |
class | Gecode::Float::Arithmetic::Pow< A, B > |
Propagator for bounds consistent pow operator More... | |
class | Gecode::Float::Arithmetic::NthRoot< A, B > |
Propagator for bounds consistent nth root operator More... | |
class | Gecode::Float::Arithmetic::MultZeroOne< View > |
Bounds or domain consistent propagator for . More... | |
class | Gecode::Float::Arithmetic::MultPlus< VA, VB, VC > |
Bounds consistent positive multiplication propagator. More... | |
class | Gecode::Float::Arithmetic::Mult< View > |
Bounds consistent multiplication propagator. More... | |
class | Gecode::Float::Arithmetic::Div< A, B, C > |
Propagator for bounds division operator More... | |
class | Gecode::Float::Arithmetic::Min< A, B, C > |
Propagator for bounds consistent min operator More... | |
class | Gecode::Float::Arithmetic::Max< A, B, C > |
Propagator for bounds consistent max operator More... | |
class | Gecode::Float::Arithmetic::NaryMax< View > |
Bounds consistent n-ary maximum propagator. More... | |
Namespaces | |
namespace | Gecode::Float::Arithmetic |
Arithmetic propagators | |
namespace | Gecode |
Gecode toplevel namespace | |
namespace | Gecode::Float |
Floating point numbers. |