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 | struct minus_impl |
---|
19 | : if_c< |
---|
20 | ( BOOST_MPL_AUX_NESTED_VALUE_WKND(int, Tag1) |
---|
21 | > BOOST_MPL_AUX_NESTED_VALUE_WKND(int, Tag2) |
---|
22 | ) |
---|
23 | |
---|
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 | { |
---|
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 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 | : 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 | BOOST_MPL_AUX_LAMBDA_SUPPORT( |
---|
90 | 5 |
---|
91 | , minus |
---|
92 | , ( N1, N2, N3, N4, N5 ) |
---|
93 | ) |
---|
94 | }; |
---|
95 | |
---|
96 | template< |
---|
97 | typename N1 |
---|
98 | , typename N2 |
---|
99 | > |
---|
100 | struct minus2 |
---|
101 | : minus_impl< |
---|
102 | typename minus_tag<N1>::type |
---|
103 | , typename minus_tag<N2>::type |
---|
104 | >::template apply< N1,N2 >::type |
---|
105 | { |
---|
106 | BOOST_MPL_AUX_LAMBDA_SUPPORT(2, minus2, (N1, N2)) |
---|
107 | |
---|
108 | }; |
---|
109 | |
---|
110 | BOOST_MPL_AUX_NA_SPEC2(2, 5, minus) |
---|
111 | |
---|
112 | }} |
---|
113 | |
---|
114 | namespace boost { namespace mpl { |
---|
115 | template<> |
---|
116 | struct minus_impl< integral_c_tag,integral_c_tag > |
---|
117 | { |
---|
118 | template< typename N1, typename N2 > struct apply |
---|
119 | |
---|
120 | : integral_c< |
---|
121 | typename aux::largest_int< |
---|
122 | typename N1::value_type |
---|
123 | , typename N2::value_type |
---|
124 | >::type |
---|
125 | , ( BOOST_MPL_AUX_VALUE_WKND(N1)::value |
---|
126 | - BOOST_MPL_AUX_VALUE_WKND(N2)::value |
---|
127 | ) |
---|
128 | > |
---|
129 | { |
---|
130 | }; |
---|
131 | }; |
---|
132 | |
---|
133 | }} |
---|