Floating point rounding policy. More...
#include <float.hh>
Protected Types | |
typedef gecode_boost::numeric::interval_lib::rounded_arith_opp< FloatNum > | Base |
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: ![]() | |
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: ![]() | |
|
protected |
|
inline |
Default constructor (configures full rounding mode)
Definition at line 41 of file rounding.hpp.
|
inline |
Destructor (restores previous rounding mode)
Definition at line 43 of file rounding.hpp.
Return lower bound of x plus y (domain: )
Return upper bound of x plus y (domain: )
Return lower bound of x minus y (domain: )
Return upper bound of x minus y (domain: )
Return lower bound of x times y (domain: )
Return upper bound of x times y (domain: )
Return lower bound of x divided by y (domain: )
Return upper bound of x divided y (domain: )
Return lower bound of square root of x (domain: )
Return upper bound of square root of x (domain: )
Return median of x and y (domain: )
Definition at line 46 of file rounding.hpp.
Return next downward-rounded integer of x (domain: )
Return next upward-rounded integer of x (domain: )
Return lower bound of exponential of x (domain: )
Return upper bound of exponential of x (domain: )
Return lower bound of logarithm of x (domain: )
Return upper bound of logarithm of x (domain: )
Return lower bound of cosine of x (domain: )
Return lower bound of tangent of x (domain: )
Return upper bound of tangent of x (domain: )
Return lower bound of arcsine of x (domain: )
Return upper bound of arcsine of x (domain: )
Return lower bound of arccosine of x (domain: )
Return upper bound of arccossine of x (domain: )
Return lower bound of arctangent of x (domain: )
Return upper bound of arctangent of x (domain: )
Return lower bound of hyperbolic sine of x (domain: )
Return upper bound of hyperbolic sine of x (domain: )
Return lower bound of hyperbolic cosine of x (domain: )
Return upper bound of hyperbolic cosine of x (domain: )
Return lower bound of hyperbolic tangent of x (domain: )
Return upper bound of hyperbolic tangent of x (domain: )
Return lower bound of hyperbolic arcsine of x (domain: )
Return upper bound of hyperbolic arcsine of x (domain: )
Return lower bound of hyperbolic arccosine of x (domain: )
Return upper bound of hyperbolic arccosine of x (domain: )
Return lower bound of hyperbolic arctangent of x (domain: )
Return upper bound of hyperbolic arctangent of x (domain: )