Generated on Sat Feb 7 2015 02:01:42 for Gecode by doxygen 1.8.9.1

Floating point rounding policy. More...

#include <float.hh>

Protected Types

typedef gecode_boost::numeric::interval_lib::rounded_arith_opp< FloatNumBase
 Base class. More...
 

Constructor and destructor

 Rounding (void)
 Default constructor (configures full rounding mode) More...
 
 ~Rounding (void)
 Destructor (restores previous rounding mode) More...
 

Arithmetic operations

FloatNum add_down (FloatNum x, FloatNum y)
 Return lower bound of x plus y (domain: $ [-\infty;+\infty][-\infty;+\infty]$) More...
 
FloatNum add_up (FloatNum x, FloatNum y)
 Return upper bound of x plus y (domain: $ [-\infty;+\infty] [-\infty;+\infty]$) More...
 
FloatNum sub_down (FloatNum x, FloatNum y)
 Return lower bound of x minus y (domain: $ [-\infty;+\infty] [-\infty;+\infty]$) More...
 
FloatNum sub_up (FloatNum x, FloatNum y)
 Return upper bound of x minus y (domain: $ [-\infty;+\infty] [-\infty;+\infty]$) More...
 
FloatNum mul_down (FloatNum x, FloatNum y)
 Return lower bound of x times y (domain: $ [-\infty;+\infty] [-\infty;+\infty]$) More...
 
FloatNum mul_up (FloatNum x, FloatNum y)
 Return upper bound of x times y (domain: $ [-\infty;+\infty] [-\infty;+\infty]$) More...
 
FloatNum div_down (FloatNum x, FloatNum y)
 Return lower bound of x divided by y (domain: $ [-\infty;+\infty] ([-\infty;+\infty]-{0}) $) More...
 
FloatNum div_up (FloatNum x, FloatNum y)
 Return upper bound of x divided y (domain: $ [-\infty;+\infty] ([-\infty;+\infty]-{0})$) More...
 
FloatNum sqrt_down (FloatNum x)
 Return lower bound of square root of x (domain: $ ]0;+\infty] $) More...
 
FloatNum sqrt_up (FloatNum x)
 Return upper bound of square root of x (domain: $ ]0;+\infty]$) More...
 

Miscellaneous operations

FloatNum median (FloatNum x, FloatNum y)
 Return median of x and y (domain: $ [-\infty;+\infty][-\infty;+\infty]$) More...
 
FloatNum int_down (FloatNum x)
 Return next downward-rounded integer of x (domain: $ [-\infty;+\infty]$) More...
 
FloatNum int_up (FloatNum x)
 Return next upward-rounded integer of x (domain: $ [-\infty;+\infty] $) More...
 

Exponential functions

FloatNum exp_down (FloatNum x)
 Return lower bound of exponential of x (domain: $ [-\infty;+\infty]$) More...
 
FloatNum exp_up (FloatNum x)
 Return upper bound of exponential of x (domain: $ [-\infty;+\infty]$) More...
 
FloatNum log_down (FloatNum x)
 Return lower bound of logarithm of x (domain: $ ]0;+\infty]$) More...
 
FloatNum log_up (FloatNum x)
 Return upper bound of logarithm of x (domain: $ ]0;+\infty]$) More...
 

Trigonometric functions

FloatNum sin_down (FloatNum x)
 Return lower bound of sine of x (domain: $ [0;2\pi]$) More...
 
FloatNum sin_up (FloatNum x)
 Return upper bound of sine of x (domain: $ [0;2\pi]$) More...
 
FloatNum cos_down (FloatNum x)
 Return lower bound of cosine of x (domain: $ [0;2\pi]$) More...
 
FloatNum cos_up (FloatNum x)
 Return upper bound of cosine of x (domain: $ [0;2\pi]$) More...
 
FloatNum tan_down (FloatNum x)
 Return lower bound of tangent of x (domain: $ ]-\pi/2;\pi/2[$) More...
 
FloatNum tan_up (FloatNum x)
 Return upper bound of tangent of x (domain: $ ]-\pi/2;\pi/2[$) More...
 

Inverse trigonometric functions

FloatNum asin_down (FloatNum x)
 Return lower bound of arcsine of x (domain: $ [-1;1]$) More...
 
FloatNum asin_up (FloatNum x)
 Return upper bound of arcsine of x (domain: $ [-1;1]$) More...
 
FloatNum acos_down (FloatNum x)
 Return lower bound of arccosine of x (domain: $ [-1;1]$) More...
 
FloatNum acos_up (FloatNum x)
 Return upper bound of arccossine of x (domain: $ [-1;1]$) More...
 
FloatNum atan_down (FloatNum x)
 Return lower bound of arctangent of x (domain: $ [-\infty;+\infty]$) More...
 
FloatNum atan_up (FloatNum x)
 Return upper bound of arctangent of x (domain: $ [-\infty;+\infty]$) More...
 

Hyperbolic functions

FloatNum sinh_down (FloatNum x)
 Return lower bound of hyperbolic sine of x (domain: $ [-\infty;+\infty]$) More...
 
FloatNum sinh_up (FloatNum x)
 Return upper bound of hyperbolic sine of x (domain: $ [-\infty;+\infty]$) More...
 
FloatNum cosh_down (FloatNum x)
 Return lower bound of hyperbolic cosine of x (domain: $ [-\infty;+\infty]$) More...
 
FloatNum cosh_up (FloatNum x)
 Return upper bound of hyperbolic cosine of x (domain: $ [-\infty;+\infty]$) More...
 
FloatNum tanh_down (FloatNum x)
 Return lower bound of hyperbolic tangent of x (domain: $ [-\infty;+\infty]$) More...
 
FloatNum tanh_up (FloatNum x)
 Return upper bound of hyperbolic tangent of x (domain: $ [-\infty;+\infty]$) More...
 

Inverse hyperbolic functions

FloatNum asinh_down (FloatNum x)
 Return lower bound of hyperbolic arcsine of x (domain: $ [-\infty;+\infty]$) More...
 
FloatNum asinh_up (FloatNum x)
 Return upper bound of hyperbolic arcsine of x (domain: $ [-\infty;+\infty]$) More...
 
FloatNum acosh_down (FloatNum x)
 Return lower bound of hyperbolic arccosine of x (domain: $ [1;+\infty]$) More...
 
FloatNum acosh_up (FloatNum x)
 Return upper bound of hyperbolic arccosine of x (domain: $ [1;+\infty]$) More...
 
FloatNum atanh_down (FloatNum x)
 Return lower bound of hyperbolic arctangent of x (domain: $ [-1;1]$) More...
 
FloatNum atanh_up (FloatNum x)
 Return upper bound of hyperbolic arctangent of x (domain: $ [-1;1]$) More...
 

Detailed Description

Floating point rounding policy.

Definition at line 137 of file float.hh.

Member Typedef Documentation

typedef gecode_boost::numeric::interval_lib::rounded_arith_opp<FloatNum> Gecode::Float::Rounding::Base
protected

Base class.

Definition at line 141 of file float.hh.

Constructor & Destructor Documentation

Gecode::Float::Rounding::Rounding ( void  )
inline

Default constructor (configures full rounding mode)

Definition at line 41 of file rounding.hpp.

Gecode::Float::Rounding::~Rounding ( void  )
inline

Destructor (restores previous rounding mode)

Definition at line 43 of file rounding.hpp.

Member Function Documentation

FloatNum Gecode::Float::Rounding::add_down ( FloatNum  x,
FloatNum  y 
)

Return lower bound of x plus y (domain: $ [-\infty;+\infty][-\infty;+\infty]$)

FloatNum Gecode::Float::Rounding::add_up ( FloatNum  x,
FloatNum  y 
)

Return upper bound of x plus y (domain: $ [-\infty;+\infty] [-\infty;+\infty]$)

FloatNum Gecode::Float::Rounding::sub_down ( FloatNum  x,
FloatNum  y 
)

Return lower bound of x minus y (domain: $ [-\infty;+\infty] [-\infty;+\infty]$)

FloatNum Gecode::Float::Rounding::sub_up ( FloatNum  x,
FloatNum  y 
)

Return upper bound of x minus y (domain: $ [-\infty;+\infty] [-\infty;+\infty]$)

FloatNum Gecode::Float::Rounding::mul_down ( FloatNum  x,
FloatNum  y 
)

Return lower bound of x times y (domain: $ [-\infty;+\infty] [-\infty;+\infty]$)

FloatNum Gecode::Float::Rounding::mul_up ( FloatNum  x,
FloatNum  y 
)

Return upper bound of x times y (domain: $ [-\infty;+\infty] [-\infty;+\infty]$)

FloatNum Gecode::Float::Rounding::div_down ( FloatNum  x,
FloatNum  y 
)

Return lower bound of x divided by y (domain: $ [-\infty;+\infty] ([-\infty;+\infty]-{0}) $)

FloatNum Gecode::Float::Rounding::div_up ( FloatNum  x,
FloatNum  y 
)

Return upper bound of x divided y (domain: $ [-\infty;+\infty] ([-\infty;+\infty]-{0})$)

FloatNum Gecode::Float::Rounding::sqrt_down ( FloatNum  x)

Return lower bound of square root of x (domain: $ ]0;+\infty] $)

FloatNum Gecode::Float::Rounding::sqrt_up ( FloatNum  x)

Return upper bound of square root of x (domain: $ ]0;+\infty]$)

FloatNum Gecode::Float::Rounding::median ( FloatNum  x,
FloatNum  y 
)
inline

Return median of x and y (domain: $ [-\infty;+\infty][-\infty;+\infty]$)

Definition at line 46 of file rounding.hpp.

FloatNum Gecode::Float::Rounding::int_down ( FloatNum  x)

Return next downward-rounded integer of x (domain: $ [-\infty;+\infty]$)

FloatNum Gecode::Float::Rounding::int_up ( FloatNum  x)

Return next upward-rounded integer of x (domain: $ [-\infty;+\infty] $)

FloatNum Gecode::Float::Rounding::exp_down ( FloatNum  x)

Return lower bound of exponential of x (domain: $ [-\infty;+\infty]$)

FloatNum Gecode::Float::Rounding::exp_up ( FloatNum  x)

Return upper bound of exponential of x (domain: $ [-\infty;+\infty]$)

FloatNum Gecode::Float::Rounding::log_down ( FloatNum  x)

Return lower bound of logarithm of x (domain: $ ]0;+\infty]$)

FloatNum Gecode::Float::Rounding::log_up ( FloatNum  x)

Return upper bound of logarithm of x (domain: $ ]0;+\infty]$)

FloatNum Gecode::Float::Rounding::sin_down ( FloatNum  x)

Return lower bound of sine of x (domain: $ [0;2\pi]$)

FloatNum Gecode::Float::Rounding::sin_up ( FloatNum  x)

Return upper bound of sine of x (domain: $ [0;2\pi]$)

FloatNum Gecode::Float::Rounding::cos_down ( FloatNum  x)

Return lower bound of cosine of x (domain: $ [0;2\pi]$)

FloatNum Gecode::Float::Rounding::cos_up ( FloatNum  x)

Return upper bound of cosine of x (domain: $ [0;2\pi]$)

FloatNum Gecode::Float::Rounding::tan_down ( FloatNum  x)

Return lower bound of tangent of x (domain: $ ]-\pi/2;\pi/2[$)

FloatNum Gecode::Float::Rounding::tan_up ( FloatNum  x)

Return upper bound of tangent of x (domain: $ ]-\pi/2;\pi/2[$)

FloatNum Gecode::Float::Rounding::asin_down ( FloatNum  x)

Return lower bound of arcsine of x (domain: $ [-1;1]$)

FloatNum Gecode::Float::Rounding::asin_up ( FloatNum  x)

Return upper bound of arcsine of x (domain: $ [-1;1]$)

FloatNum Gecode::Float::Rounding::acos_down ( FloatNum  x)

Return lower bound of arccosine of x (domain: $ [-1;1]$)

FloatNum Gecode::Float::Rounding::acos_up ( FloatNum  x)

Return upper bound of arccossine of x (domain: $ [-1;1]$)

FloatNum Gecode::Float::Rounding::atan_down ( FloatNum  x)

Return lower bound of arctangent of x (domain: $ [-\infty;+\infty]$)

FloatNum Gecode::Float::Rounding::atan_up ( FloatNum  x)

Return upper bound of arctangent of x (domain: $ [-\infty;+\infty]$)

FloatNum Gecode::Float::Rounding::sinh_down ( FloatNum  x)

Return lower bound of hyperbolic sine of x (domain: $ [-\infty;+\infty]$)

FloatNum Gecode::Float::Rounding::sinh_up ( FloatNum  x)

Return upper bound of hyperbolic sine of x (domain: $ [-\infty;+\infty]$)

FloatNum Gecode::Float::Rounding::cosh_down ( FloatNum  x)

Return lower bound of hyperbolic cosine of x (domain: $ [-\infty;+\infty]$)

FloatNum Gecode::Float::Rounding::cosh_up ( FloatNum  x)

Return upper bound of hyperbolic cosine of x (domain: $ [-\infty;+\infty]$)

FloatNum Gecode::Float::Rounding::tanh_down ( FloatNum  x)

Return lower bound of hyperbolic tangent of x (domain: $ [-\infty;+\infty]$)

FloatNum Gecode::Float::Rounding::tanh_up ( FloatNum  x)

Return upper bound of hyperbolic tangent of x (domain: $ [-\infty;+\infty]$)

FloatNum Gecode::Float::Rounding::asinh_down ( FloatNum  x)

Return lower bound of hyperbolic arcsine of x (domain: $ [-\infty;+\infty]$)

FloatNum Gecode::Float::Rounding::asinh_up ( FloatNum  x)

Return upper bound of hyperbolic arcsine of x (domain: $ [-\infty;+\infty]$)

FloatNum Gecode::Float::Rounding::acosh_down ( FloatNum  x)

Return lower bound of hyperbolic arccosine of x (domain: $ [1;+\infty]$)

FloatNum Gecode::Float::Rounding::acosh_up ( FloatNum  x)

Return upper bound of hyperbolic arccosine of x (domain: $ [1;+\infty]$)

FloatNum Gecode::Float::Rounding::atanh_down ( FloatNum  x)

Return lower bound of hyperbolic arctangent of x (domain: $ [-1;1]$)

FloatNum Gecode::Float::Rounding::atanh_up ( FloatNum  x)

Return upper bound of hyperbolic arctangent of x (domain: $ [-1;1]$)


The documentation for this class was generated from the following files: