[857] | 1 | /* Boost interval/rounding.hpp template implementation file
|
---|
| 2 | *
|
---|
| 3 | * Copyright 2002-2003 Hervé Brönnimann, Guillaume Melquiond, Sylvain Pion
|
---|
| 4 | *
|
---|
| 5 | * Distributed under the Boost Software License, Version 1.0.
|
---|
| 6 | * (See accompanying file LICENSE_1_0.txt or
|
---|
| 7 | * copy at http://www.boost.org/LICENSE_1_0.txt)
|
---|
| 8 | */
|
---|
| 9 |
|
---|
| 10 | #ifndef BOOST_NUMERIC_INTERVAL_ROUNDING_HPP
|
---|
| 11 | #define BOOST_NUMERIC_INTERVAL_ROUNDING_HPP
|
---|
| 12 |
|
---|
| 13 | namespace boost {
|
---|
| 14 | namespace numeric {
|
---|
| 15 | namespace interval_lib {
|
---|
| 16 |
|
---|
| 17 | /*
|
---|
| 18 | * Default rounding_control class (does nothing)
|
---|
| 19 | */
|
---|
| 20 |
|
---|
| 21 | template<class T>
|
---|
| 22 | struct rounding_control
|
---|
| 23 | {
|
---|
| 24 | typedef int rounding_mode;
|
---|
| 25 | static void get_rounding_mode(rounding_mode&) {}
|
---|
| 26 | static void set_rounding_mode(rounding_mode) {}
|
---|
| 27 | static void upward() {}
|
---|
| 28 | static void downward() {}
|
---|
| 29 | static void to_nearest() {}
|
---|
| 30 | static const T& to_int(const T& x) { return x; }
|
---|
| 31 | static const T& force_rounding(const T& x) { return x; }
|
---|
| 32 | };
|
---|
| 33 |
|
---|
| 34 | /*
|
---|
| 35 | * A few rounding control classes (exact/std/opp: see documentation)
|
---|
| 36 | * rounded_arith_* control the rounding of the arithmetic operators
|
---|
| 37 | * rounded_transc_* control the rounding of the transcendental functions
|
---|
| 38 | */
|
---|
| 39 |
|
---|
| 40 | template<class T, class Rounding = rounding_control<T> >
|
---|
| 41 | struct rounded_arith_exact;
|
---|
| 42 |
|
---|
| 43 | template<class T, class Rounding = rounding_control<T> >
|
---|
| 44 | struct rounded_arith_std;
|
---|
| 45 |
|
---|
| 46 | template<class T, class Rounding = rounding_control<T> >
|
---|
| 47 | struct rounded_arith_opp;
|
---|
| 48 |
|
---|
| 49 | template<class T, class Rounding>
|
---|
| 50 | struct rounded_transc_dummy;
|
---|
| 51 |
|
---|
| 52 | template<class T, class Rounding = rounded_arith_exact<T> >
|
---|
| 53 | struct rounded_transc_exact;
|
---|
| 54 |
|
---|
| 55 | template<class T, class Rounding = rounded_arith_std<T> >
|
---|
| 56 | struct rounded_transc_std;
|
---|
| 57 |
|
---|
| 58 | template<class T, class Rounding = rounded_arith_opp<T> >
|
---|
| 59 | struct rounded_transc_opp;
|
---|
| 60 |
|
---|
| 61 | /*
|
---|
| 62 | * State-saving classes: allow to set and reset rounding control
|
---|
| 63 | */
|
---|
| 64 |
|
---|
| 65 | namespace detail {
|
---|
| 66 |
|
---|
| 67 | template<class Rounding>
|
---|
| 68 | struct save_state_unprotected: Rounding
|
---|
| 69 | {
|
---|
| 70 | typedef save_state_unprotected<Rounding> unprotected_rounding;
|
---|
| 71 | };
|
---|
| 72 |
|
---|
| 73 | } // namespace detail
|
---|
| 74 |
|
---|
| 75 | template<class Rounding>
|
---|
| 76 | struct save_state: Rounding
|
---|
| 77 | {
|
---|
| 78 | typename Rounding::rounding_mode mode;
|
---|
| 79 | save_state() {
|
---|
| 80 | this->get_rounding_mode(mode);
|
---|
| 81 | this->init();
|
---|
| 82 | }
|
---|
| 83 | ~save_state() { this->set_rounding_mode(mode); }
|
---|
| 84 | typedef detail::save_state_unprotected<Rounding> unprotected_rounding;
|
---|
| 85 | };
|
---|
| 86 |
|
---|
| 87 | template<class Rounding>
|
---|
| 88 | struct save_state_nothing: Rounding
|
---|
| 89 | {
|
---|
| 90 | typedef save_state_nothing<Rounding> unprotected_rounding;
|
---|
| 91 | };
|
---|
| 92 |
|
---|
| 93 | template<class T>
|
---|
| 94 | struct rounded_math: save_state_nothing<rounded_arith_exact<T> >
|
---|
| 95 | {};
|
---|
| 96 |
|
---|
| 97 | } // namespace interval_lib
|
---|
| 98 | } // namespace numeric
|
---|
| 99 | } // namespace boost
|
---|
| 100 |
|
---|
| 101 | #endif // BOOST_NUMERIC_INTERVAL_ROUNDING_HPP
|
---|