minus.hpp 2.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133
  1. // Copyright Aleksey Gurtovoy 2000-2004
  2. //
  3. // Distributed under the Boost Software License, Version 1.0.
  4. // (See accompanying file LICENSE_1_0.txt or copy at
  5. // http://www.boost.org/LICENSE_1_0.txt)
  6. //
  7. // Preprocessed version of "boost/mpl/minus.hpp" header
  8. // -- DO NOT modify by hand!
  9. namespace boost { namespace mpl {
  10. template<
  11. typename Tag1
  12. , typename Tag2
  13. >
  14. struct minus_impl
  15. : if_c<
  16. ( BOOST_MPL_AUX_NESTED_VALUE_WKND(int, Tag1)
  17. > BOOST_MPL_AUX_NESTED_VALUE_WKND(int, Tag2)
  18. )
  19. , aux::cast2nd_impl< minus_impl< Tag1,Tag1 >,Tag1, Tag2 >
  20. , aux::cast1st_impl< minus_impl< Tag2,Tag2 >,Tag1, Tag2 >
  21. >::type
  22. {
  23. };
  24. /// for Digital Mars C++/compilers with no CTPS/TTP support
  25. template<> struct minus_impl< na,na >
  26. {
  27. template< typename U1, typename U2 > struct apply
  28. {
  29. typedef apply type;
  30. BOOST_STATIC_CONSTANT(int, value = 0);
  31. };
  32. };
  33. template<> struct minus_impl< na,integral_c_tag >
  34. {
  35. template< typename U1, typename U2 > struct apply
  36. {
  37. typedef apply type;
  38. BOOST_STATIC_CONSTANT(int, value = 0);
  39. };
  40. };
  41. template<> struct minus_impl< integral_c_tag,na >
  42. {
  43. template< typename U1, typename U2 > struct apply
  44. {
  45. typedef apply type;
  46. BOOST_STATIC_CONSTANT(int, value = 0);
  47. };
  48. };
  49. template< typename T > struct minus_tag
  50. {
  51. typedef typename T::tag type;
  52. };
  53. /// forward declaration
  54. template<
  55. typename BOOST_MPL_AUX_NA_PARAM(N1)
  56. , typename BOOST_MPL_AUX_NA_PARAM(N2)
  57. >
  58. struct minus2;
  59. template<
  60. typename BOOST_MPL_AUX_NA_PARAM(N1)
  61. , typename BOOST_MPL_AUX_NA_PARAM(N2)
  62. , typename N3 = na, typename N4 = na, typename N5 = na
  63. >
  64. struct minus
  65. : if_<
  66. is_na<N3>
  67. , minus2< N1,N2 >
  68. , minus<
  69. minus2< N1,N2 >
  70. , N3, N4, N5
  71. >
  72. >::type
  73. {
  74. BOOST_MPL_AUX_LAMBDA_SUPPORT(
  75. 5
  76. , minus
  77. , ( N1, N2, N3, N4, N5 )
  78. )
  79. };
  80. template<
  81. typename N1
  82. , typename N2
  83. >
  84. struct minus2
  85. : minus_impl<
  86. typename minus_tag<N1>::type
  87. , typename minus_tag<N2>::type
  88. >::template apply< N1,N2 >::type
  89. {
  90. BOOST_MPL_AUX_LAMBDA_SUPPORT(2, minus2, (N1, N2))
  91. };
  92. BOOST_MPL_AUX_NA_SPEC2(2, 5, minus)
  93. }}
  94. namespace boost { namespace mpl {
  95. template<>
  96. struct minus_impl< integral_c_tag,integral_c_tag >
  97. {
  98. template< typename N1, typename N2 > struct apply
  99. : integral_c<
  100. typename aux::largest_int<
  101. typename N1::value_type
  102. , typename N2::value_type
  103. >::type
  104. , ( BOOST_MPL_AUX_VALUE_WKND(N1)::value
  105. - BOOST_MPL_AUX_VALUE_WKND(N2)::value
  106. )
  107. >
  108. {
  109. };
  110. };
  111. }}