diff options
Diffstat (limited to '3rdParty/Boost/src/boost/ratio/detail')
-rw-r--r-- | 3rdParty/Boost/src/boost/ratio/detail/mpl/abs.hpp | 89 | ||||
-rw-r--r-- | 3rdParty/Boost/src/boost/ratio/detail/mpl/gcd.hpp | 124 | ||||
-rw-r--r-- | 3rdParty/Boost/src/boost/ratio/detail/mpl/lcm.hpp | 126 | ||||
-rw-r--r-- | 3rdParty/Boost/src/boost/ratio/detail/mpl/sign.hpp | 89 | ||||
-rw-r--r-- | 3rdParty/Boost/src/boost/ratio/detail/overflow_helpers.hpp | 367 |
5 files changed, 795 insertions, 0 deletions
diff --git a/3rdParty/Boost/src/boost/ratio/detail/mpl/abs.hpp b/3rdParty/Boost/src/boost/ratio/detail/mpl/abs.hpp new file mode 100644 index 0000000..4be1274 --- /dev/null +++ b/3rdParty/Boost/src/boost/ratio/detail/mpl/abs.hpp @@ -0,0 +1,89 @@ +//////////////////////////////////////////////////////////////////// +// +// Copyright Vicente J. Botet Escriba 2010 +// +// 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) +// +// See http://www.boost.org/libs/mpl for documentation. +// +//////////////////////////////////////////////////////////////////// +#ifndef BOOST_MPL_ABS_HPP_INCLUDED +#define BOOST_MPL_ABS_HPP_INCLUDED + +#include <boost/mpl/integral_c.hpp> +#include <boost/mpl/aux_/na_spec.hpp> +#include <boost/mpl/aux_/lambda_support.hpp> +#include <boost/mpl/aux_/config/eti.hpp> +#include <boost/mpl/aux_/config/integral.hpp> +#include <boost/mpl/aux_/config/static_constant.hpp> + +#if !defined(BOOST_MPL_CFG_NO_NESTED_VALUE_ARITHMETIC_2) \ + && !defined(BOOST_MPL_PREPROCESSING_MODE) \ + && ( defined(BOOST_MSVC) \ + || BOOST_WORKAROUND(__EDG_VERSION__, <= 238) \ + ) + +# define BOOST_MPL_CFG_NO_NESTED_VALUE_ARITHMETIC_2 + +#endif + +namespace boost { namespace mpl { + +template< typename Tag > struct abs_impl; + +template< typename T > struct abs_tag +{ + typedef typename T::tag type; +}; + +template< + typename BOOST_MPL_AUX_NA_PARAM(N) + > +struct abs + : abs_impl< + typename abs_tag<N>::type + >::template apply<N>::type +{ + BOOST_MPL_AUX_LAMBDA_SUPPORT(1, abs, (N)) +}; + +BOOST_MPL_AUX_NA_SPEC(1, abs) + +template< + typename T + , T n1 + > +struct abs_c + : abs<integral_c<T,n1> > +{ +}; + +#if defined(BOOST_MPL_CFG_NO_NESTED_VALUE_ARITHMETIC_2) +namespace aux { +template< typename T, T n > struct abs_wknd +{ + BOOST_STATIC_CONSTANT(T, value = (n < 0 ? -n : n)); + typedef integral_c<T,value> type; +}; +} +#endif + +template<> +struct abs_impl<integral_c_tag> +{ +#if defined(BOOST_MPL_CFG_NO_NESTED_VALUE_ARITHMETIC_2) + template< typename N > struct apply + : aux::abs_wknd< typename N::value_type, N::value > +#else + template< typename N > struct apply + : integral_c< typename N::value_type, ((N::value < 0) ? (-N::value) : N::value ) > +#endif + { + }; +}; + +}} + +#endif // BOOST_MPL_ABS_HPP_INCLUDED diff --git a/3rdParty/Boost/src/boost/ratio/detail/mpl/gcd.hpp b/3rdParty/Boost/src/boost/ratio/detail/mpl/gcd.hpp new file mode 100644 index 0000000..c8258cf --- /dev/null +++ b/3rdParty/Boost/src/boost/ratio/detail/mpl/gcd.hpp @@ -0,0 +1,124 @@ +//////////////////////////////////////////////////////////////////// +// +// Copyright Vicente J. Botet Escriba 2010 +// +// 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) +// +// See http://www.boost.org/libs/mpl for documentation. +// +//////////////////////////////////////////////////////////////////// +#ifndef BOOST_MPL_GCD_HPP_INCLUDED +#define BOOST_MPL_GCD_HPP_INCLUDED + +#include <boost/mpl/integral_c.hpp> +#include <boost/ratio/detail/mpl/abs.hpp> +#include <boost/mpl/aux_/largest_int.hpp> +#include <boost/mpl/aux_/na_spec.hpp> +#include <boost/mpl/aux_/lambda_support.hpp> +#include <boost/mpl/aux_/config/eti.hpp> +#include <boost/mpl/aux_/config/integral.hpp> +#include <boost/mpl/aux_/config/static_constant.hpp> +#include <boost/mpl/aux_/config/dependent_nttp.hpp> +#include <boost/cstdint.hpp> + +#if !defined(BOOST_MPL_CFG_NO_NESTED_VALUE_ARITHMETIC_2) \ + && !defined(BOOST_MPL_PREPROCESSING_MODE) \ + && ( defined(BOOST_MSVC) \ + || BOOST_WORKAROUND(__EDG_VERSION__, <= 238) \ + ) + +# define BOOST_MPL_CFG_NO_NESTED_VALUE_ARITHMETIC_2 + +#endif + +namespace boost { namespace mpl { + +template< typename Tag1, typename Tag2 > struct gcd_impl; + +template< typename T > struct gcd_tag +{ + typedef typename T::tag type; +}; + +template< + typename BOOST_MPL_AUX_NA_PARAM(N1) + , typename BOOST_MPL_AUX_NA_PARAM(N2) + > +struct gcd + : gcd_impl< + typename gcd_tag<N1>::type + , typename gcd_tag<N2>::type + >::template apply<N1, N2>::type +{ + BOOST_MPL_AUX_LAMBDA_SUPPORT(2, gcd, (N1, N2)) +}; + +BOOST_MPL_AUX_NA_SPEC(2, gcd) + +template< + typename T + , T n1 + , T n2 + > +struct gcd_c + : gcd<integral_c<T,n1>,integral_c<T,n2> > +{ +}; + +namespace aux { + + // Workaround for error: the type of partial specialization template parameter constant "n2" + // depends on another template parameter + // Note: this solution could be wrong for n1 or n2 = [2**63 .. 2**64-1] +#if defined(BOOST_MPL_CFG_NO_DEPENDENT_NONTYPE_PARAMETER_IN_PARTIAL_SPEC) + + template< typename T1, boost::intmax_t n1, bool n1_is_0 + , typename T2, boost::intmax_t n2, bool n2_is_0 > + struct gcd_aux + : gcd_aux<T2, n2, n2==0, T1, (n1 % n2), (n1 % n2)==0> + {}; + + template <typename T1, boost::intmax_t n1, typename T2, boost::intmax_t n2> + struct gcd_aux<T1, n1, false, T2, n2, true> : integral_c<T1, n1> + {}; + + template <typename T1, boost::intmax_t n1, typename T2, boost::intmax_t n2, bool C> + struct gcd_aux<T1, n1, true, T2, n2, C> : integral_c<T2, n2> + {}; + +#else // defined(BOOST_MPL_CFG_NO_DEPENDENT_NONTYPE_PARAMETER_IN_PARTIAL_SPEC) + + template< typename T1, T1 n1, bool n1_is_0, typename T2, T2 n2, bool n2_is_0 > + struct gcd_aux + + : gcd_aux<T2, n2, n2==0, + typename aux::largest_int<T1, T2>::type, + //~ T1, + (n1 % n2), (n1 % n2)==0> + {}; + + template <typename T1, T1 n1, typename T2, T2 n2> + struct gcd_aux<T1, n1, false, T2, n2, true> : integral_c<T1, n1> + {}; + + template <typename T1, T1 n1, typename T2, T2 n2, bool C> + struct gcd_aux<T1, n1, true, T2, n2, C> : integral_c<T2, n2> + {}; +#endif // defined(BOOST_MPL_CFG_NO_DEPENDENT_NONTYPE_PARAMETER_IN_PARTIAL_SPEC) +} + +template<> +struct gcd_impl<integral_c_tag, integral_c_tag> +{ + template< typename N1, typename N2 > struct apply + : abs<aux::gcd_aux< typename N1::value_type, N1::value, N1::value==0, + typename N2::value_type, N2::value, N2::value==0 > > + { + }; +}; + +}} + +#endif // BOOST_MPL_GCD_HPP_INCLUDED diff --git a/3rdParty/Boost/src/boost/ratio/detail/mpl/lcm.hpp b/3rdParty/Boost/src/boost/ratio/detail/mpl/lcm.hpp new file mode 100644 index 0000000..546d0e1 --- /dev/null +++ b/3rdParty/Boost/src/boost/ratio/detail/mpl/lcm.hpp @@ -0,0 +1,126 @@ +//////////////////////////////////////////////////////////////////// +// +// Copyright Vicente J. Botet Escriba 2010 +// +// 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) +// +// See http://www.boost.org/libs/mpl for documentation. +// +//////////////////////////////////////////////////////////////////// +#ifndef BOOST_MPL_LCM_HPP_INCLUDED +#define BOOST_MPL_LCM_HPP_INCLUDED + +#include <boost/mpl/integral_c.hpp> +#include <boost/ratio/detail/mpl/abs.hpp> +#include <boost/mpl/aux_/largest_int.hpp> +#include <boost/mpl/aux_/na_spec.hpp> +#include <boost/mpl/aux_/lambda_support.hpp> +#include <boost/mpl/aux_/config/eti.hpp> +#include <boost/mpl/aux_/config/integral.hpp> +#include <boost/mpl/aux_/config/static_constant.hpp> +#include <boost/mpl/aux_/config/dependent_nttp.hpp> +#include <boost/cstdint.hpp> + +#if !defined(BOOST_MPL_CFG_NO_NESTED_VALUE_ARITHMETIC_2) \ + && !defined(BOOST_MPL_PREPROCESSING_MODE) \ + && ( defined(BOOST_MSVC) \ + || BOOST_WORKAROUND(__EDG_VERSION__, <= 238) \ + ) + +# define BOOST_MPL_CFG_NO_NESTED_VALUE_ARITHMETIC_2 + +#endif + +namespace boost { namespace mpl { + +template< typename Tag1, typename Tag2 > struct lcm_impl; + +template< typename T > struct lcm_tag +{ + typedef typename T::tag type; +}; + +template< + typename BOOST_MPL_AUX_NA_PARAM(N1) + , typename BOOST_MPL_AUX_NA_PARAM(N2) + > +struct lcm + : lcm_impl< + typename lcm_tag<N1>::type + , typename lcm_tag<N2>::type + >::template apply<N1, N2>::type +{ + BOOST_MPL_AUX_LAMBDA_SUPPORT(2, lcm, (N1, N2)) +}; + +BOOST_MPL_AUX_NA_SPEC(2, lcm) + +template< + typename T + , T n1 + , T n2 + > +struct lcm_c + : lcm<integral_c<T,n1>,integral_c<T,n2> > +{ +}; + + +namespace aux { + // Workaround for error: the type of partial specialization template parameter constant "n2" + // depends on another template parameter + // Note: this solution could be wrong for n1 or n2 = [2**63 .. 2**64-1] + #if defined(BOOST_MPL_CFG_NO_DEPENDENT_NONTYPE_PARAMETER_IN_PARTIAL_SPEC) + template< typename T1, boost::intmax_t n1, bool n1_is_0 + , typename T2, boost::intmax_t n2, bool n2_is_0 > + struct lcm_aux + : abs<integral_c< typename aux::largest_int<T1, T2>::type, + ( n1 / gcd<integral_c<T1,n1>, integral_c<T2,n2> >::value * n2 ) + > > + {}; + + template <typename T1, boost::intmax_t n1, typename T2, boost::intmax_t n2> + struct lcm_aux<T1, n1, false, T2, n2, true> : integral_c<T2, 0> + {}; + + template <typename T1, boost::intmax_t n1, typename T2, boost::intmax_t n2, bool C> + struct lcm_aux<T1, n1, true, T2, n2, C> : integral_c<T1, 0> + {}; + + +#else // defined(BOOST_MPL_CFG_NO_DEPENDENT_NONTYPE_PARAMETER_IN_PARTIAL_SPEC) + + + template< typename T1, T1 n1, bool n1_is_0, typename T2, T2 n2, bool n2_is_0 > + struct lcm_aux + + : abs<integral_c< typename aux::largest_int<T1, T2>::type, + ( n1 / gcd<integral_c<T1,n1>, integral_c<T2,n2> >::value * n2 ) + > > + {}; + + template <typename T1, T1 n1, typename T2, T2 n2> + struct lcm_aux<T1, n1, false, T2, n2, true> : integral_c<T2, 0> + {}; + + template <typename T1, T1 n1, typename T2, T2 n2, bool C> + struct lcm_aux<T1, n1, true, T2, n2, C> : integral_c<T1, 0> + {}; +#endif // defined(BOOST_MPL_CFG_NO_DEPENDENT_NONTYPE_PARAMETER_IN_PARTIAL_SPEC) +} + +template<> +struct lcm_impl<integral_c_tag, integral_c_tag> +{ + template< typename N1, typename N2 > struct apply + : abs<aux::lcm_aux< typename N1::value_type, N1::value, N1::value==0, + typename N2::value_type, N2::value, N2::value==0 > > + { + }; +}; + +}} + +#endif // BOOST_MPL_LCM_HPP_INCLUDED diff --git a/3rdParty/Boost/src/boost/ratio/detail/mpl/sign.hpp b/3rdParty/Boost/src/boost/ratio/detail/mpl/sign.hpp new file mode 100644 index 0000000..af201eb --- /dev/null +++ b/3rdParty/Boost/src/boost/ratio/detail/mpl/sign.hpp @@ -0,0 +1,89 @@ +//////////////////////////////////////////////////////////////////// +// +// Copyright Vicente J. Botet Escriba 2010 +// +// 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) +// +// See http://www.boost.org/libs/mpl for documentation. +// +//////////////////////////////////////////////////////////////////// +#ifndef BOOST_MPL_SIGN_HPP_INCLUDED +#define BOOST_MPL_SIGN_HPP_INCLUDED + +#include <boost/mpl/integral_c.hpp> +#include <boost/mpl/aux_/na_spec.hpp> +#include <boost/mpl/aux_/lambda_support.hpp> +#include <boost/mpl/aux_/config/eti.hpp> +#include <boost/mpl/aux_/config/integral.hpp> +#include <boost/mpl/aux_/config/static_constant.hpp> + +#if !defined(BOOST_MPL_CFG_NO_NESTED_VALUE_ARITHMETIC_2) \ + && !defined(BOOST_MPL_PREPROCESSING_MODE) \ + && ( defined(BOOST_MSVC) \ + || BOOST_WORKAROUND(__EDG_VERSION__, <= 238) \ + ) + +# define BOOST_MPL_CFG_NO_NESTED_VALUE_ARITHMETIC_2 + +#endif + +namespace boost { namespace mpl { + +template< typename Tag > struct sign_impl; + +template< typename T > struct sign_tag +{ + typedef typename T::tag type; +}; + +template< + typename BOOST_MPL_AUX_NA_PARAM(N) + > +struct sign + : sign_impl< + typename sign_tag<N>::type + >::template apply<N>::type +{ + BOOST_MPL_AUX_LAMBDA_SUPPORT(1, sign, (N)) +}; + +BOOST_MPL_AUX_NA_SPEC(1, sign) + +template< + typename T + , T n1 + > +struct sign_c + : sign<integral_c<T,n1> > +{ +}; + +#if defined(BOOST_MPL_CFG_NO_NESTED_VALUE_ARITHMETIC_2) +namespace aux { +template< typename T, T n > struct sign_wknd +{ + BOOST_STATIC_CONSTANT(T, value = (n == 0 ? 0 : (n < 0 ? -1 : 1))); + typedef integral_c<T,value> type; +}; +} +#endif + +template<> +struct sign_impl<integral_c_tag> +{ +#if defined(BOOST_MPL_CFG_NO_NESTED_VALUE_ARITHMETIC_2) + template< typename N > struct apply + : aux::sign_wknd< typename N::value_type, N::value > +#else + template< typename N > struct apply + : integral_c< typename N::value_type, (N::value == 0 ? 0 : (N::value < 0 ? -1 : 1)) > +#endif + { + }; +}; + +}} + +#endif // BOOST_MPL_SIGN_HPP_INCLUDED diff --git a/3rdParty/Boost/src/boost/ratio/detail/overflow_helpers.hpp b/3rdParty/Boost/src/boost/ratio/detail/overflow_helpers.hpp new file mode 100644 index 0000000..0e292fa --- /dev/null +++ b/3rdParty/Boost/src/boost/ratio/detail/overflow_helpers.hpp @@ -0,0 +1,367 @@ +// ratio.hpp ---------------------------------------------------------------// + +// Copyright 2008 Howard Hinnant +// Copyright 2008 Beman Dawes +// Copyright 2009 Vicente J. Botet Escriba + +// Distributed under the Boost Software License, Version 1.0. +// See http://www.boost.org/LICENSE_1_0.txt + +/* + +This code was derived by Beman Dawes from Howard Hinnant's time2_demo prototype. +Many thanks to Howard for making his code available under the Boost license. +The original code was modified to conform to Boost conventions and to section +20.4 Compile-time rational arithmetic [ratio], of the C++ committee working +paper N2798. +See http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2008/n2798.pdf. + +time2_demo contained this comment: + + Much thanks to Andrei Alexandrescu, + Walter Brown, + Peter Dimov, + Jeff Garland, + Terry Golubiewski, + Daniel Krugler, + Anthony Williams. +*/ + +// The way overflow is managed for ratio_less is taken from llvm/libcxx/include/ratio + +#ifndef BOOST_RATIO_DETAIL_RATIO_OPERATIONS_HPP +#define BOOST_RATIO_DETAIL_RATIO_OPERATIONS_HPP + +#include <boost/ratio/config.hpp> +#include <boost/ratio/detail/mpl/abs.hpp> +#include <boost/ratio/detail/mpl/sign.hpp> +#include <cstdlib> +#include <climits> +#include <limits> +#include <boost/cstdint.hpp> +#include <boost/type_traits/integral_constant.hpp> +#include <boost/utility/enable_if.hpp> +#include <boost/integer_traits.hpp> + +// +// We simply cannot include this header on gcc without getting copious warnings of the kind: +// +// boost/integer.hpp:77:30: warning: use of C99 long long integer constant +// +// And yet there is no other reasonable implementation, so we declare this a system header +// to suppress these warnings. +// +#if defined(__GNUC__) && (__GNUC__ >= 4) +#pragma GCC system_header +#endif + +namespace boost +{ + +//----------------------------------------------------------------------------// +// helpers // +//----------------------------------------------------------------------------// + +namespace ratio_detail +{ + + template <boost::intmax_t X, boost::intmax_t Y, boost::intmax_t = mpl::sign_c<boost::intmax_t, Y>::value> + class br_add; + + template <boost::intmax_t X, boost::intmax_t Y> + class br_add<X, Y, 1> + { + static const boost::intmax_t min = boost::integer_traits<boost::intmax_t>::const_min; + static const boost::intmax_t max = boost::integer_traits<boost::intmax_t>::const_max; + + BOOST_RATIO_STATIC_ASSERT(X <= max - Y , BOOST_RATIO_OVERFLOW_IN_ADD, ()); + public: + static const boost::intmax_t value = X + Y; + }; + + template <boost::intmax_t X, boost::intmax_t Y> + class br_add<X, Y, 0> + { + public: + static const boost::intmax_t value = X; + }; + + template <boost::intmax_t X, boost::intmax_t Y> + class br_add<X, Y, -1> + { + static const boost::intmax_t min = boost::integer_traits<boost::intmax_t>::const_min; + static const boost::intmax_t max = boost::integer_traits<boost::intmax_t>::const_max; + + BOOST_RATIO_STATIC_ASSERT(min - Y <= X, BOOST_RATIO_OVERFLOW_IN_ADD, ()); + public: + static const boost::intmax_t value = X + Y; + }; + + template <boost::intmax_t X, boost::intmax_t Y, boost::intmax_t = mpl::sign_c<boost::intmax_t, Y>::value> + class br_sub; + + template <boost::intmax_t X, boost::intmax_t Y> + class br_sub<X, Y, 1> + { + static const boost::intmax_t min = boost::integer_traits<boost::intmax_t>::const_min; + static const boost::intmax_t max = boost::integer_traits<boost::intmax_t>::const_max; + + BOOST_RATIO_STATIC_ASSERT(min + Y <= X, BOOST_RATIO_OVERFLOW_IN_SUB, ()); + public: + static const boost::intmax_t value = X - Y; + }; + + template <boost::intmax_t X, boost::intmax_t Y> + class br_sub<X, Y, 0> + { + public: + static const boost::intmax_t value = X; + }; + + template <boost::intmax_t X, boost::intmax_t Y> + class br_sub<X, Y, -1> + { + static const boost::intmax_t min = boost::integer_traits<boost::intmax_t>::const_min; + static const boost::intmax_t max = boost::integer_traits<boost::intmax_t>::const_max; + + BOOST_RATIO_STATIC_ASSERT(X <= max + Y, BOOST_RATIO_OVERFLOW_IN_SUB, ()); + public: + static const boost::intmax_t value = X - Y; + }; + + template <boost::intmax_t X, boost::intmax_t Y> + class br_mul + { + static const boost::intmax_t nan = + (BOOST_RATIO_INTMAX_C(1) << (sizeof(boost::intmax_t) * CHAR_BIT - 1)); + static const boost::intmax_t min = boost::integer_traits<boost::intmax_t>::const_min; + static const boost::intmax_t max = boost::integer_traits<boost::intmax_t>::const_max; + + static const boost::intmax_t a_x = mpl::abs_c<boost::intmax_t, X>::value; + static const boost::intmax_t a_y = mpl::abs_c<boost::intmax_t, Y>::value; + + BOOST_RATIO_STATIC_ASSERT(X != nan, BOOST_RATIO_OVERFLOW_IN_MUL, ()); + BOOST_RATIO_STATIC_ASSERT(Y != nan, BOOST_RATIO_OVERFLOW_IN_MUL, ()); + BOOST_RATIO_STATIC_ASSERT(a_x <= max / a_y, BOOST_RATIO_OVERFLOW_IN_MUL, ()); + public: + static const boost::intmax_t value = X * Y; + }; + + template <boost::intmax_t Y> + class br_mul<0, Y> + { + public: + static const boost::intmax_t value = 0; + }; + + template <boost::intmax_t X> + class br_mul<X, 0> + { + public: + static const boost::intmax_t value = 0; + }; + + template <> + class br_mul<0, 0> + { + public: + static const boost::intmax_t value = 0; + }; + + // Not actually used but left here in case needed in future maintenance + template <boost::intmax_t X, boost::intmax_t Y> + class br_div + { + static const boost::intmax_t nan = (1LL << (sizeof(boost::intmax_t) * CHAR_BIT - 1)); + static const boost::intmax_t min = boost::integer_traits<boost::intmax_t>::const_min; + static const boost::intmax_t max = boost::integer_traits<boost::intmax_t>::const_max; + + BOOST_RATIO_STATIC_ASSERT(X != nan, BOOST_RATIO_OVERFLOW_IN_DIV, ()); + BOOST_RATIO_STATIC_ASSERT(Y != nan, BOOST_RATIO_OVERFLOW_IN_DIV, ()); + BOOST_RATIO_STATIC_ASSERT(Y != 0, BOOST_RATIO_DIVIDE_BY_0, ()); + public: + static const boost::intmax_t value = X / Y; + }; + + // ratio arithmetic + template <class R1, class R2> struct ratio_add; + template <class R1, class R2> struct ratio_subtract; + template <class R1, class R2> struct ratio_multiply; + template <class R1, class R2> struct ratio_divide; + + template <class R1, class R2> + struct ratio_add + { + //The nested typedef type shall be a synonym for ratio<T1, T2>::type where T1 has the value R1::num * + //R2::den + R2::num * R1::den and T2 has the value R1::den * R2::den. + // As the preceding doesn't works because of overflow on boost::intmax_t we need something more elaborated. + private: + static const boost::intmax_t gcd_n1_n2 = mpl::gcd_c<boost::intmax_t, R1::num, R2::num>::value; + static const boost::intmax_t gcd_d1_d2 = mpl::gcd_c<boost::intmax_t, R1::den, R2::den>::value; + public: + // No need to normalize as ratio_multiply is already normalized + typedef typename ratio_multiply + < + ratio<gcd_n1_n2, R1::den / gcd_d1_d2>, + ratio + < + boost::ratio_detail::br_add + < + boost::ratio_detail::br_mul<R1::num / gcd_n1_n2, R2::den / gcd_d1_d2>::value, + boost::ratio_detail::br_mul<R2::num / gcd_n1_n2, R1::den / gcd_d1_d2>::value + >::value, + R2::den + > + >::type type; + }; + template <class R, boost::intmax_t D> + struct ratio_add<R, ratio<0,D> > + { + typedef R type; + }; + + template <class R1, class R2> + struct ratio_subtract + { + //The nested typedef type shall be a synonym for ratio<T1, T2>::type where T1 has the value + // R1::num *R2::den - R2::num * R1::den and T2 has the value R1::den * R2::den. + // As the preceding doesn't works because of overflow on boost::intmax_t we need something more elaborated. + private: + static const boost::intmax_t gcd_n1_n2 = mpl::gcd_c<boost::intmax_t, R1::num, R2::num>::value; + static const boost::intmax_t gcd_d1_d2 = mpl::gcd_c<boost::intmax_t, R1::den, R2::den>::value; + public: + // No need to normalize as ratio_multiply is already normalized + typedef typename ratio_multiply + < + ratio<gcd_n1_n2, R1::den / gcd_d1_d2>, + ratio + < + boost::ratio_detail::br_sub + < + boost::ratio_detail::br_mul<R1::num / gcd_n1_n2, R2::den / gcd_d1_d2>::value, + boost::ratio_detail::br_mul<R2::num / gcd_n1_n2, R1::den / gcd_d1_d2>::value + >::value, + R2::den + > + >::type type; + }; + + template <class R, boost::intmax_t D> + struct ratio_subtract<R, ratio<0,D> > + { + typedef R type; + }; + + template <class R1, class R2> + struct ratio_multiply + { + // The nested typedef type shall be a synonym for ratio<R1::num * R2::den - R2::num * R1::den, R1::den * R2::den>::type. + // As the preceding doesn't works because of overflow on boost::intmax_t we need something more elaborated. + private: + static const boost::intmax_t gcd_n1_d2 = mpl::gcd_c<boost::intmax_t, R1::num, R2::den>::value; + static const boost::intmax_t gcd_d1_n2 = mpl::gcd_c<boost::intmax_t, R1::den, R2::num>::value; + public: + typedef typename ratio + < + boost::ratio_detail::br_mul<R1::num / gcd_n1_d2, R2::num / gcd_d1_n2>::value, + boost::ratio_detail::br_mul<R2::den / gcd_n1_d2, R1::den / gcd_d1_n2>::value + >::type type; + }; + + template <class R1, class R2> + struct ratio_divide + { + // The nested typedef type shall be a synonym for ratio<R1::num * R2::den, R2::num * R1::den>::type. + // As the preceding doesn't works because of overflow on boost::intmax_t we need something more elaborated. + private: + static const boost::intmax_t gcd_n1_n2 = mpl::gcd_c<boost::intmax_t, R1::num, R2::num>::value; + static const boost::intmax_t gcd_d1_d2 = mpl::gcd_c<boost::intmax_t, R1::den, R2::den>::value; + public: + typedef typename ratio + < + boost::ratio_detail::br_mul<R1::num / gcd_n1_n2, R2::den / gcd_d1_d2>::value, + boost::ratio_detail::br_mul<R2::num / gcd_n1_n2, R1::den / gcd_d1_d2>::value + >::type type; + }; + template <class R1, class R2> + struct is_evenly_divisible_by + { + private: + static const boost::intmax_t gcd_n1_n2 = mpl::gcd_c<boost::intmax_t, R1::num, R2::num>::value; + static const boost::intmax_t gcd_d1_d2 = mpl::gcd_c<boost::intmax_t, R1::den, R2::den>::value; + public: + typedef integral_constant<bool, + ((R2::num / gcd_n1_n2 ==1) && (R1::den / gcd_d1_d2)==1) + > type; + }; + + template <class T> + struct is_ratio : public boost::false_type + {}; + template <boost::intmax_t N, boost::intmax_t D> + struct is_ratio<ratio<N, D> > : public boost::true_type + {}; + + template <class R1, class R2, + boost::intmax_t Q1 = R1::num / R1::den, boost::intmax_t M1 = R1::num % R1::den, + boost::intmax_t Q2 = R2::num / R2::den, boost::intmax_t M2 = R2::num % R2::den> + struct ratio_less1 + { + static const bool value = Q1 < Q2; + }; + + template <class R1, class R2, boost::intmax_t Q> + struct ratio_less1<R1, R2, Q, 0, Q, 0> + { + static const bool value = false; + }; + + template <class R1, class R2, boost::intmax_t Q, boost::intmax_t M2> + struct ratio_less1<R1, R2, Q, 0, Q, M2> + { + static const bool value = true; + }; + + template <class R1, class R2, boost::intmax_t Q, boost::intmax_t M1> + struct ratio_less1<R1, R2, Q, M1, Q, 0> + { + static const bool value = false; + }; + + template <class R1, class R2, boost::intmax_t Q, boost::intmax_t M1, boost::intmax_t M2> + struct ratio_less1<R1, R2, Q, M1, Q, M2> + { + static const bool value = ratio_less1<ratio<R2::den, M2>, ratio<R1::den, M1> + >::value; + }; + + template < + class R1, + class R2, + boost::intmax_t S1 = mpl::sign_c<boost::intmax_t, R1::num>::value, + boost::intmax_t S2 = mpl::sign_c<boost::intmax_t, R2::num>::value +> + struct ratio_less + { + static const bool value = S1 < S2; + }; + + template <class R1, class R2> + struct ratio_less<R1, R2, 1LL, 1LL> + { + static const bool value = ratio_less1<R1, R2>::value; + }; + + template <class R1, class R2> + struct ratio_less<R1, R2, -1LL, -1LL> + { + static const bool value = ratio_less1<ratio<-R2::num, R2::den>, + ratio<-R1::num, R1::den> >::value; + }; + + +} // namespace ratio_detail + +} // namespace boost + +#endif // BOOST_RATIO_HPP |