Generated on Thu Apr 11 13:59:24 2019 for Gecode by doxygen 1.6.3

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 $x_0\times x_1=x_0$. 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.