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