divides.hpp 3.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141
  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/divides.hpp" header
  8. // -- DO NOT modify by hand!
  9. namespace boost { namespace mpl {
  10. template<
  11. typename Tag1
  12. , typename Tag2
  13. >
  14. struct divides_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< divides_impl< Tag1,Tag1 >,Tag1, Tag2 >
  20. , aux::cast1st_impl< divides_impl< Tag2,Tag2 >,Tag1, Tag2 >
  21. >::type
  22. {
  23. };
  24. /// for Digital Mars C++/compilers with no CTPS/TTP support
  25. template<> struct divides_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< typename Tag > struct divides_impl< na,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< typename Tag > struct divides_impl< 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 divides_tag
  50. {
  51. typedef typename T::tag type;
  52. };
  53. template<
  54. typename BOOST_MPL_AUX_NA_PARAM(N1)
  55. , typename BOOST_MPL_AUX_NA_PARAM(N2)
  56. , typename N3 = na, typename N4 = na, typename N5 = na
  57. >
  58. struct divides
  59. : divides< divides< divides< divides< N1,N2 >, N3>, N4>, N5>
  60. {
  61. };
  62. template<
  63. typename N1, typename N2, typename N3, typename N4
  64. >
  65. struct divides< N1,N2,N3,N4,na >
  66. : divides< divides< divides< N1,N2 >, N3>, N4>
  67. {
  68. BOOST_MPL_AUX_LAMBDA_SUPPORT_SPEC(
  69. 5
  70. , divides
  71. , ( N1, N2, N3, N4, na )
  72. )
  73. };
  74. template<
  75. typename N1, typename N2, typename N3
  76. >
  77. struct divides< N1,N2,N3,na,na >
  78. : divides< divides< N1,N2 >, N3>
  79. {
  80. BOOST_MPL_AUX_LAMBDA_SUPPORT_SPEC(
  81. 5
  82. , divides
  83. , ( N1, N2, N3, na, na )
  84. )
  85. };
  86. template<
  87. typename N1, typename N2
  88. >
  89. struct divides< N1,N2,na,na,na >
  90. : divides_impl<
  91. typename divides_tag<N1>::type
  92. , typename divides_tag<N2>::type
  93. >::template apply< N1,N2 >::type
  94. {
  95. BOOST_MPL_AUX_LAMBDA_SUPPORT_SPEC(
  96. 5
  97. , divides
  98. , ( N1, N2, na, na, na )
  99. )
  100. };
  101. BOOST_MPL_AUX_NA_SPEC2(2, 5, divides)
  102. }}
  103. namespace boost { namespace mpl {
  104. template<>
  105. struct divides_impl< integral_c_tag,integral_c_tag >
  106. {
  107. template< typename N1, typename N2 > struct apply
  108. : integral_c<
  109. typename aux::largest_int<
  110. typename N1::value_type
  111. , typename N2::value_type
  112. >::type
  113. , ( BOOST_MPL_AUX_VALUE_WKND(N1)::value
  114. / BOOST_MPL_AUX_VALUE_WKND(N2)::value
  115. )
  116. >
  117. {
  118. };
  119. };
  120. }}