| //////////////////////////////////////////////////////////////////// |
| // |
| // 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> |
| |
| #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 { |
| 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> |
| {}; |
| } |
| |
| 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 |