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