
Floating point rounding policy. More...
#include <float.hh>
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: ![]() | |
| FloatNum | add_up (FloatNum x, FloatNum y) |
Return upper bound of x plus y (domain: ![]() | |
| FloatNum | sub_down (FloatNum x, FloatNum y) |
Return lower bound of x minus y (domain: ![]() | |
| FloatNum | sub_up (FloatNum x, FloatNum y) |
Return upper bound of x minus y (domain: ![]() | |
| FloatNum | mul_down (FloatNum x, FloatNum y) |
Return lower bound of x times y (domain: ![]() | |
| FloatNum | mul_up (FloatNum x, FloatNum y) |
Return upper bound of x times y (domain: ![]() | |
| FloatNum | div_down (FloatNum x, FloatNum y) |
Return lower bound of x divided by y (domain: ![]() | |
| FloatNum | div_up (FloatNum x, FloatNum y) |
Return upper bound of x divided y (domain: ![]() | |
| FloatNum | sqrt_down (FloatNum x) |
Return lower bound of square root of x (domain: ![]() | |
| FloatNum | sqrt_up (FloatNum x) |
Return upper bound of square root of x (domain: ![]() | |
Miscellaneous operations | |
| FloatNum | median (FloatNum x, FloatNum y) |
Return median of x and y (domain: ![]() | |
| FloatNum | int_down (FloatNum x) |
Return next downward-rounded integer of x (domain: ![]() | |
| FloatNum | int_up (FloatNum x) |
Return next upward-rounded integer of x (domain: ![]() | |
Exponential functions | |
| FloatNum | exp_down (FloatNum x) |
Return lower bound of exponential of x (domain: ![]() | |
| FloatNum | exp_up (FloatNum x) |
Return upper bound of exponential of x (domain: ![]() | |
| FloatNum | log_down (FloatNum x) |
Return lower bound of logarithm of x (domain: ![]() | |
| FloatNum | log_up (FloatNum x) |
Return upper bound of logarithm of x (domain: ![]() | |
Trigonometric functions | |
| FloatNum | sin_down (FloatNum x) |
Return lower bound of sine of x (domain: ![]() | |
| FloatNum | sin_up (FloatNum x) |
Return upper bound of sine of x (domain: ![]() | |
| FloatNum | cos_down (FloatNum x) |
Return lower bound of cosine of x (domain: ![]() | |
| FloatNum | cos_up (FloatNum x) |
Return upper bound of cosine of x (domain: ![]() | |
| FloatNum | tan_down (FloatNum x) |
Return lower bound of tangent of x (domain: ![]() | |
| FloatNum | tan_up (FloatNum x) |
Return upper bound of tangent of x (domain: ![]() | |
Inverse trigonometric functions | |
| FloatNum | asin_down (FloatNum x) |
Return lower bound of arcsine of x (domain: ![]() | |
| FloatNum | asin_up (FloatNum x) |
Return upper bound of arcsine of x (domain: ![]() | |
| FloatNum | acos_down (FloatNum x) |
Return lower bound of arccosine of x (domain: ![]() | |
| FloatNum | acos_up (FloatNum x) |
Return upper bound of arccossine of x (domain: ![]() | |
| FloatNum | atan_down (FloatNum x) |
Return lower bound of arctangent of x (domain: ![]() | |
| FloatNum | atan_up (FloatNum x) |
Return upper bound of arctangent of x (domain: ![]() | |
Hyperbolic functions | |
| FloatNum | sinh_down (FloatNum x) |
Return lower bound of hyperbolic sine of x (domain: ![]() | |
| FloatNum | sinh_up (FloatNum x) |
Return upper bound of hyperbolic sine of x (domain: ![]() | |
| FloatNum | cosh_down (FloatNum x) |
Return lower bound of hyperbolic cosine of x (domain: ![]() | |
| FloatNum | cosh_up (FloatNum x) |
Return upper bound of hyperbolic cosine of x (domain: ![]() | |
| FloatNum | tanh_down (FloatNum x) |
Return lower bound of hyperbolic tangent of x (domain: ![]() | |
| FloatNum | tanh_up (FloatNum x) |
Return upper bound of hyperbolic tangent of x (domain: ![]() | |
Inverse hyperbolic functions | |
| FloatNum | asinh_down (FloatNum x) |
Return lower bound of hyperbolic arcsine of x (domain: ![]() | |
| FloatNum | asinh_up (FloatNum x) |
Return upper bound of hyperbolic arcsine of x (domain: ![]() | |
| FloatNum | acosh_down (FloatNum x) |
Return lower bound of hyperbolic arccosine of x (domain: ![]() | |
| FloatNum | acosh_up (FloatNum x) |
Return upper bound of hyperbolic arccosine of x (domain: ![]() | |
| FloatNum | atanh_down (FloatNum x) |
Return lower bound of hyperbolic arctangent of x (domain: ![]() | |
| FloatNum | atanh_up (FloatNum x) |
Return upper bound of hyperbolic arctangent of x (domain: ![]() | |
|
inline |
Default constructor (configures full rounding mode)
Definition at line 37 of file rounding.hpp.
|
inline |
Destructor (restores previous rounding mode)
Definition at line 41 of file rounding.hpp.
Return lower bound of x plus y (domain: ![$ [-\infty;+\infty][-\infty;+\infty]$](form_72.png)
Return upper bound of x plus y (domain: ![$ [-\infty;+\infty] [-\infty;+\infty]$](form_73.png)
Return lower bound of x minus y (domain: ![$ [-\infty;+\infty] [-\infty;+\infty]$](form_73.png)
Return upper bound of x minus y (domain: ![$ [-\infty;+\infty] [-\infty;+\infty]$](form_73.png)
Return lower bound of x times y (domain: ![$ [-\infty;+\infty] [-\infty;+\infty]$](form_73.png)
Return upper bound of x times y (domain: ![$ [-\infty;+\infty] [-\infty;+\infty]$](form_73.png)
Return lower bound of x divided by y (domain: ![$ [-\infty;+\infty] ([-\infty;+\infty]-{0}) $](form_74.png)
Return upper bound of x divided y (domain: ![$ [-\infty;+\infty] ([-\infty;+\infty]-{0})$](form_75.png)
Return lower bound of square root of x (domain: ![$ ]0;+\infty] $](form_76.png)
Return upper bound of square root of x (domain: ![$ ]0;+\infty]$](form_77.png)
Return median of x and y (domain: ![$ [-\infty;+\infty][-\infty;+\infty]$](form_72.png)
Definition at line 44 of file rounding.hpp.
Return next downward-rounded integer of x (domain: ![$ [-\infty;+\infty]$](form_78.png)
Return next upward-rounded integer of x (domain: ![$ [-\infty;+\infty] $](form_79.png)
Return lower bound of exponential of x (domain: ![$ [-\infty;+\infty]$](form_78.png)
Return upper bound of exponential of x (domain: ![$ [-\infty;+\infty]$](form_78.png)
Return lower bound of logarithm of x (domain: ![$ ]0;+\infty]$](form_77.png)
Return upper bound of logarithm of x (domain: ![$ ]0;+\infty]$](form_77.png)
Return lower bound of cosine of x (domain: ![$ [0;2\pi]$](form_80.png)
Return lower bound of tangent of x (domain: ![$ ]-\pi/2;\pi/2[$](form_81.png)
Return upper bound of tangent of x (domain: ![$ ]-\pi/2;\pi/2[$](form_81.png)
Return lower bound of arcsine of x (domain: ![$ [-1;1]$](form_82.png)
Return upper bound of arcsine of x (domain: ![$ [-1;1]$](form_82.png)
Return lower bound of arccosine of x (domain: ![$ [-1;1]$](form_82.png)
Return upper bound of arccossine of x (domain: ![$ [-1;1]$](form_82.png)
Return lower bound of arctangent of x (domain: ![$ [-\infty;+\infty]$](form_78.png)
Return upper bound of arctangent of x (domain: ![$ [-\infty;+\infty]$](form_78.png)
Return lower bound of hyperbolic sine of x (domain: ![$ [-\infty;+\infty]$](form_78.png)
Return upper bound of hyperbolic sine of x (domain: ![$ [-\infty;+\infty]$](form_78.png)
Return lower bound of hyperbolic cosine of x (domain: ![$ [-\infty;+\infty]$](form_78.png)
Return upper bound of hyperbolic cosine of x (domain: ![$ [-\infty;+\infty]$](form_78.png)
Return lower bound of hyperbolic tangent of x (domain: ![$ [-\infty;+\infty]$](form_78.png)
Return upper bound of hyperbolic tangent of x (domain: ![$ [-\infty;+\infty]$](form_78.png)
Return lower bound of hyperbolic arcsine of x (domain: ![$ [-\infty;+\infty]$](form_78.png)
Return upper bound of hyperbolic arcsine of x (domain: ![$ [-\infty;+\infty]$](form_78.png)
Return lower bound of hyperbolic arccosine of x (domain: ![$ [1;+\infty]$](form_83.png)
Return upper bound of hyperbolic arccosine of x (domain: ![$ [1;+\infty]$](form_83.png)
Return lower bound of hyperbolic arctangent of x (domain: ![$ [-1;1]$](form_82.png)
Return upper bound of hyperbolic arctangent of x (domain: ![$ [-1;1]$](form_82.png)