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/minus.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 minus_impl 22 : if_c< 23 ( tag1_ > tag2_ ) 24 , aux::cast2nd_impl< minus_impl< Tag1,Tag1 >,Tag1, Tag2 > 25 , aux::cast1st_impl< minus_impl< Tag2,Tag2 >,Tag1, Tag2 > 26 >::type 27 { 28 }; 29 30 /// for Digital Mars C++/compilers with no CTPS/TTP support 31 template<> struct minus_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 minus_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 minus_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 minus_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 minus2; 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 minus 77 78 : aux::msvc_eti_base< typename if_< 79 80 is_na<N3> 81 , minus2< N1,N2 > 82 , minus< 83 minus2< N1,N2 > 84 , N3, N4, N5 85 > 86 >::type 87 88 > 89 90 { 91 BOOST_MPL_AUX_LAMBDA_SUPPORT( 92 5 93 , minus 94 , ( N1, N2, N3, N4, N5 ) 95 ) 96 }; 97 98 template< 99 typename N1 100 , typename N2 101 > 102 struct minus2 103 : aux::msvc_eti_base< typename apply_wrap2< 104 minus_impl< 105 typename minus_tag<N1>::type 106 , typename minus_tag<N2>::type 107 > 108 , N1 109 , N2 110 >::type >::type 111 112 { 113 BOOST_MPL_AUX_LAMBDA_SUPPORT(2, minus2, (N1, N2)) 114 115 }; 116 117 BOOST_MPL_AUX_NA_SPEC2(2, 5, minus) 118 119 }} 120 121 namespace boost { namespace mpl { 122 123 namespace aux { 124 template< typename T, T n1, T n2 > 125 struct minus_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 minus_impl< integral_c_tag,integral_c_tag > 135 { 136 template< typename N1, typename N2 > struct apply 137 : aux::minus_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 }} 151