| 1 | |
|---|
| 2 | // Copyright Aleksey Gurtovoy 2000-2004 |
|---|
| 3 | // |
|---|
| 4 | // Distributed under the Boost Software License, Version 1.0. |
|---|
| 5 | // (See accompanying file LICENSE_1_0.txt or copy at |
|---|
| 6 | // http://www.boost.org/LICENSE_1_0.txt) |
|---|
| 7 | // |
|---|
| 8 | |
|---|
| 9 | // Preprocessed version of "boost/mpl/divides.hpp" header |
|---|
| 10 | // -- DO NOT modify by hand! |
|---|
| 11 | |
|---|
| 12 | namespace boost { namespace mpl { |
|---|
| 13 | |
|---|
| 14 | template< |
|---|
| 15 | typename Tag1 |
|---|
| 16 | , typename Tag2 |
|---|
| 17 | |
|---|
| 18 | , BOOST_MPL_AUX_NTTP_DECL(int, tag1_) = BOOST_MPL_AUX_MSVC_VALUE_WKND(Tag1)::value |
|---|
| 19 | , BOOST_MPL_AUX_NTTP_DECL(int, tag2_) = BOOST_MPL_AUX_MSVC_VALUE_WKND(Tag2)::value |
|---|
| 20 | > |
|---|
| 21 | struct divides_impl |
|---|
| 22 | : if_c< |
|---|
| 23 | ( tag1_ > tag2_ ) |
|---|
| 24 | , aux::cast2nd_impl< divides_impl< Tag1,Tag1 >,Tag1, Tag2 > |
|---|
| 25 | , aux::cast1st_impl< divides_impl< Tag2,Tag2 >,Tag1, Tag2 > |
|---|
| 26 | >::type |
|---|
| 27 | { |
|---|
| 28 | }; |
|---|
| 29 | |
|---|
| 30 | /// for Digital Mars C++/compilers with no CTPS/TTP support |
|---|
| 31 | template<> struct divides_impl< na,na > |
|---|
| 32 | { |
|---|
| 33 | template< typename U1, typename U2 > struct apply |
|---|
| 34 | { |
|---|
| 35 | typedef apply type; |
|---|
| 36 | BOOST_STATIC_CONSTANT(int, value = 0); |
|---|
| 37 | }; |
|---|
| 38 | }; |
|---|
| 39 | |
|---|
| 40 | template<> struct divides_impl< na,integral_c_tag > |
|---|
| 41 | { |
|---|
| 42 | template< typename U1, typename U2 > struct apply |
|---|
| 43 | { |
|---|
| 44 | typedef apply type; |
|---|
| 45 | BOOST_STATIC_CONSTANT(int, value = 0); |
|---|
| 46 | }; |
|---|
| 47 | }; |
|---|
| 48 | |
|---|
| 49 | template<> struct divides_impl< integral_c_tag,na > |
|---|
| 50 | { |
|---|
| 51 | template< typename U1, typename U2 > struct apply |
|---|
| 52 | { |
|---|
| 53 | typedef apply type; |
|---|
| 54 | BOOST_STATIC_CONSTANT(int, value = 0); |
|---|
| 55 | }; |
|---|
| 56 | }; |
|---|
| 57 | |
|---|
| 58 | template< typename T > struct divides_tag |
|---|
| 59 | { |
|---|
| 60 | typedef typename T::tag type; |
|---|
| 61 | }; |
|---|
| 62 | |
|---|
| 63 | /// forward declaration |
|---|
| 64 | |
|---|
| 65 | template< |
|---|
| 66 | typename BOOST_MPL_AUX_NA_PARAM(N1) |
|---|
| 67 | , typename BOOST_MPL_AUX_NA_PARAM(N2) |
|---|
| 68 | > |
|---|
| 69 | struct divides2; |
|---|
| 70 | |
|---|
| 71 | template< |
|---|
| 72 | typename BOOST_MPL_AUX_NA_PARAM(N1) |
|---|
| 73 | , typename BOOST_MPL_AUX_NA_PARAM(N2) |
|---|
| 74 | , typename N3 = na, typename N4 = na, typename N5 = na |
|---|
| 75 | > |
|---|
| 76 | struct divides |
|---|
| 77 | |
|---|
| 78 | : if_< |
|---|
| 79 | |
|---|
| 80 | is_na<N3> |
|---|
| 81 | , divides2< N1,N2 > |
|---|
| 82 | , divides< |
|---|
| 83 | divides2< N1,N2 > |
|---|
| 84 | , N3, N4, N5 |
|---|
| 85 | > |
|---|
| 86 | >::type |
|---|
| 87 | |
|---|
| 88 | { |
|---|
| 89 | BOOST_MPL_AUX_LAMBDA_SUPPORT( |
|---|
| 90 | 5 |
|---|
| 91 | , divides |
|---|
| 92 | , ( N1, N2, N3, N4, N5 ) |
|---|
| 93 | ) |
|---|
| 94 | }; |
|---|
| 95 | |
|---|
| 96 | template< |
|---|
| 97 | typename N1 |
|---|
| 98 | , typename N2 |
|---|
| 99 | > |
|---|
| 100 | struct divides2 |
|---|
| 101 | : aux::msvc_eti_base< typename apply_wrap2< |
|---|
| 102 | divides_impl< |
|---|
| 103 | typename divides_tag<N1>::type |
|---|
| 104 | , typename divides_tag<N2>::type |
|---|
| 105 | > |
|---|
| 106 | , N1 |
|---|
| 107 | , N2 |
|---|
| 108 | >::type >::type |
|---|
| 109 | |
|---|
| 110 | { |
|---|
| 111 | BOOST_MPL_AUX_LAMBDA_SUPPORT(2, divides2, (N1, N2)) |
|---|
| 112 | |
|---|
| 113 | }; |
|---|
| 114 | |
|---|
| 115 | BOOST_MPL_AUX_NA_SPEC2(2, 5, divides) |
|---|
| 116 | |
|---|
| 117 | }} |
|---|
| 118 | |
|---|
| 119 | namespace boost { namespace mpl { |
|---|
| 120 | |
|---|
| 121 | namespace aux { |
|---|
| 122 | template< typename T, T n1, T n2 > |
|---|
| 123 | struct divides_wknd |
|---|
| 124 | { |
|---|
| 125 | BOOST_STATIC_CONSTANT(T, value = (n1 / n2)); |
|---|
| 126 | typedef integral_c< T,value > type; |
|---|
| 127 | }; |
|---|
| 128 | |
|---|
| 129 | } |
|---|
| 130 | |
|---|
| 131 | template<> |
|---|
| 132 | struct divides_impl< integral_c_tag,integral_c_tag > |
|---|
| 133 | { |
|---|
| 134 | template< typename N1, typename N2 > struct apply |
|---|
| 135 | : aux::divides_wknd< |
|---|
| 136 | typename aux::largest_int< |
|---|
| 137 | typename N1::value_type |
|---|
| 138 | , typename N2::value_type |
|---|
| 139 | >::type |
|---|
| 140 | , N1::value |
|---|
| 141 | , N2::value |
|---|
| 142 | >::type |
|---|
| 143 | |
|---|
| 144 | { |
|---|
| 145 | }; |
|---|
| 146 | }; |
|---|
| 147 | |
|---|
| 148 | }} |
|---|
