/* Boost interval/policies.hpp template implementation file * * Copyright 2003 Guillaume Melquiond * * 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_POLICIES_HPP #define BOOST_NUMERIC_INTERVAL_POLICIES_HPP #include <boost/numeric/interval/interval.hpp> namespace boost { namespace numeric { namespace interval_lib { /* * policies class */ template<class Rounding, class Checking> struct policies { typedef Rounding rounding; typedef Checking checking; }; /* * policies switching classes */ template<class OldInterval, class NewRounding> class change_rounding { typedef typename OldInterval::base_type T; typedef typename OldInterval::traits_type p; typedef typename p::checking checking; public: typedef interval<T, policies<NewRounding, checking> > type; }; template<class OldInterval, class NewChecking> class change_checking { typedef typename OldInterval::base_type T; typedef typename OldInterval::traits_type p; typedef typename p::rounding rounding; public: typedef interval<T, policies<rounding, NewChecking> > type; }; /* * Protect / unprotect: control whether the rounding mode is set/reset * at each operation, rather than once and for all. */ template<class OldInterval> class unprotect { typedef typename OldInterval::base_type T; typedef typename OldInterval::traits_type p; typedef typename p::rounding r; typedef typename r::unprotected_rounding newRounding; public: typedef typename change_rounding<OldInterval, newRounding>::type type; }; } // namespace interval_lib } // namespace numeric } // namespace boost #endif // BOOST_NUMERIC_INTERVAL_POLICIES_HPP