123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101 |
- /* Boost interval/rounding.hpp template implementation file
- *
- * Copyright 2002-2003 Hervé Brönnimann, Guillaume Melquiond, Sylvain Pion
- *
- * Distributed under the Boost Software License, Version 1.0.
- * (See accompanying file LICENSE_1_0.txt or
- * copy at http://www.boost.org/LICENSE_1_0.txt)
- */
- #ifndef BOOST_NUMERIC_INTERVAL_ROUNDING_HPP
- #define BOOST_NUMERIC_INTERVAL_ROUNDING_HPP
- namespace boost {
- namespace numeric {
- namespace interval_lib {
- /*
- * Default rounding_control class (does nothing)
- */
- template<class T>
- struct rounding_control
- {
- typedef int rounding_mode;
- static void get_rounding_mode(rounding_mode&) {}
- static void set_rounding_mode(rounding_mode) {}
- static void upward() {}
- static void downward() {}
- static void to_nearest() {}
- static const T& to_int(const T& x) { return x; }
- static const T& force_rounding(const T& x) { return x; }
- };
- /*
- * A few rounding control classes (exact/std/opp: see documentation)
- * rounded_arith_* control the rounding of the arithmetic operators
- * rounded_transc_* control the rounding of the transcendental functions
- */
- template<class T, class Rounding = rounding_control<T> >
- struct rounded_arith_exact;
- template<class T, class Rounding = rounding_control<T> >
- struct rounded_arith_std;
- template<class T, class Rounding = rounding_control<T> >
- struct rounded_arith_opp;
- template<class T, class Rounding>
- struct rounded_transc_dummy;
- template<class T, class Rounding = rounded_arith_exact<T> >
- struct rounded_transc_exact;
- template<class T, class Rounding = rounded_arith_std<T> >
- struct rounded_transc_std;
- template<class T, class Rounding = rounded_arith_opp<T> >
- struct rounded_transc_opp;
- /*
- * State-saving classes: allow to set and reset rounding control
- */
- namespace detail {
- template<class Rounding>
- struct save_state_unprotected: Rounding
- {
- typedef save_state_unprotected<Rounding> unprotected_rounding;
- };
- } // namespace detail
- template<class Rounding>
- struct save_state: Rounding
- {
- typename Rounding::rounding_mode mode;
- save_state() {
- this->get_rounding_mode(mode);
- this->init();
- }
- ~save_state() { this->set_rounding_mode(mode); }
- typedef detail::save_state_unprotected<Rounding> unprotected_rounding;
- };
-
- template<class Rounding>
- struct save_state_nothing: Rounding
- {
- typedef save_state_nothing<Rounding> unprotected_rounding;
- };
-
- template<class T>
- struct rounded_math: save_state_nothing<rounded_arith_exact<T> >
- {};
- } // namespace interval_lib
- } // namespace numeric
- } // namespace boost
- #endif // BOOST_NUMERIC_INTERVAL_ROUNDING_HPP
|