[857] | 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 | : tag< T,na >
|
---|
| 60 | {
|
---|
| 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 | : aux::msvc_eti_base< typename 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 |
|
---|
| 90 | {
|
---|
| 91 | BOOST_MPL_AUX_LAMBDA_SUPPORT(
|
---|
| 92 | 5
|
---|
| 93 | , divides
|
---|
| 94 | , ( N1, N2, N3, N4, N5 )
|
---|
| 95 | )
|
---|
| 96 | };
|
---|
| 97 |
|
---|
| 98 | template<
|
---|
| 99 | typename N1
|
---|
| 100 | , typename N2
|
---|
| 101 | >
|
---|
| 102 | struct divides2
|
---|
| 103 | : aux::msvc_eti_base< typename apply_wrap2<
|
---|
| 104 | divides_impl<
|
---|
| 105 | typename divides_tag<N1>::type
|
---|
| 106 | , typename divides_tag<N2>::type
|
---|
| 107 | >
|
---|
| 108 | , N1
|
---|
| 109 | , N2
|
---|
| 110 | >::type >::type
|
---|
| 111 |
|
---|
| 112 | {
|
---|
| 113 | BOOST_MPL_AUX_LAMBDA_SUPPORT(2, divides2, (N1, N2))
|
---|
| 114 |
|
---|
| 115 | };
|
---|
| 116 |
|
---|
| 117 | BOOST_MPL_AUX_NA_SPEC2(2, 5, divides)
|
---|
| 118 |
|
---|
| 119 | }}
|
---|
| 120 |
|
---|
| 121 | namespace boost { namespace mpl {
|
---|
| 122 |
|
---|
| 123 | namespace aux {
|
---|
| 124 | template< typename T, T n1, T n2 >
|
---|
| 125 | struct divides_wknd
|
---|
| 126 | {
|
---|
| 127 | BOOST_STATIC_CONSTANT(T, value = (n1 / n2));
|
---|
| 128 | typedef integral_c< T,value > type;
|
---|
| 129 | };
|
---|
| 130 |
|
---|
| 131 | }
|
---|
| 132 |
|
---|
| 133 | template<>
|
---|
| 134 | struct divides_impl< integral_c_tag,integral_c_tag >
|
---|
| 135 | {
|
---|
| 136 | template< typename N1, typename N2 > struct apply
|
---|
| 137 | : aux::divides_wknd<
|
---|
| 138 | typename aux::largest_int<
|
---|
| 139 | typename N1::value_type
|
---|
| 140 | , typename N2::value_type
|
---|
| 141 | >::type
|
---|
| 142 | , N1::value
|
---|
| 143 | , N2::value
|
---|
| 144 | >::type
|
---|
| 145 |
|
---|
| 146 | {
|
---|
| 147 | };
|
---|
| 148 | };
|
---|
| 149 |
|
---|
| 150 | }}
|
---|