Generated on Wed Nov 5 2014 05:18:40 for Gecode by doxygen 1.7.6.1
Gecode::Float::Rounding Class Reference

Floating point rounding policy. More...

#include <float.hh>

List of all members.

Protected Types

typedef
boost::numeric::interval_lib::rounded_arith_opp
< FloatNum
Base
 Base class.

Constructor and destructor

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

Arithmetic operations

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

Miscellaneous operations

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

Exponential functions

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

Trigonometric functions

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

Inverse trigonometric functions

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

Hyperbolic functions

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

Inverse hyperbolic functions

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

Detailed Description

Floating point rounding policy.

Definition at line 137 of file float.hh.


Member Typedef Documentation

typedef 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.

Destructor (restores previous rounding mode)

Definition at line 43 of file rounding.hpp.


Member Function Documentation

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

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

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

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

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

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

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

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

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

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

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

Definition at line 46 of file rounding.hpp.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


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