1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
| ///////////////////////////////////////////////////////////////////////////////
| // Copyright 2016 John Maddock. Distributed under the Boost
| // Software License, Version 1.0. (See accompanying file
| // LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
|
| #ifndef BOOST_MP_MIN_MAX_HPP
| #define BOOST_MP_MIN_MAX_HPP
|
| #include <boost/multiprecision/traits/is_backend.hpp>
|
| namespace boost { namespace multiprecision {
|
| //
| // Expression template overloads for (min) and (max):
| //
| // Introduced in response to https://svn.boost.org/trac/boost/ticket/11149
| // note that these can not legally be injected into namespace std, and that doing so
| // may break future enhancements to the standard. None the less adding
| // namespace std{ using boost::multiprecision::(min); using boost::multiprecision::(max); }
| // to your code may get some generic code working that wouldn't work otherwise.
| //
| // The use of enable_if on the return type is to avoid poisoning std::min/max,
| // otherwise attempting to make an explicit call to min<long>(a, b) when these and std
| // versions are in scope, will cause the compiler to try to instantiate the signatures
| // for our versions as well as the std ones, which in turn instantiates number<long>
| // which fails to compile as "long" is not a valid backend type.
| //
| template <class Backend>
| inline typename boost::enable_if_c<boost::multiprecision::detail::is_backend<Backend>::value, const number<Backend, et_on>&>::type(min)(const number<Backend, et_on>& a, const number<Backend, et_on>& b)
| {
| return a < b ? a : b;
| }
| template <class Backend, class tag, class A1, class A2, class A3, class A4>
| inline typename boost::enable_if_c<boost::multiprecision::detail::is_backend<Backend>::value, const number<Backend, et_on> >::type(min)(const number<Backend, et_on>& a, const detail::expression<tag, A1, A2, A3, A4>& b)
| {
| number<Backend, et_on> t(b);
| if (a < t)
| return a;
| return BOOST_MP_MOVE(t);
| }
| template <class tag, class A1, class A2, class A3, class A4, class Backend>
| inline typename boost::enable_if_c<boost::multiprecision::detail::is_backend<Backend>::value, const number<Backend, et_on> >::type(min)(const detail::expression<tag, A1, A2, A3, A4>& a, const number<Backend, et_on>& b)
| {
| number<Backend, et_on> t(a);
| if (t < b)
| return BOOST_MP_MOVE(t);
| return b;
| }
| template <class tag, class A1, class A2, class A3, class A4, class tagb, class A1b, class A2b, class A3b, class A4b>
| inline typename detail::expression<tag, A1, A2, A3, A4>::result_type(min)(const detail::expression<tag, A1, A2, A3, A4>& a, const detail::expression<tagb, A1b, A2b, A3b, A4b>& b)
| {
| typename detail::expression<tag, A1, A2, A3, A4>::result_type t1(a), t2(b);
| if (t1 < t2)
| return BOOST_MP_MOVE(t1);
| return BOOST_MP_MOVE(t2);
| }
| template <class tag, class A1, class A2, class A3, class A4>
| inline typename detail::expression<tag, A1, A2, A3, A4>::result_type(min)(const detail::expression<tag, A1, A2, A3, A4>& a, const detail::expression<tag, A1, A2, A3, A4>& b)
| {
| typename detail::expression<tag, A1, A2, A3, A4>::result_type t1(a), t2(b);
| if (t1 < t2)
| return BOOST_MP_MOVE(t1);
| return BOOST_MP_MOVE(t2);
| }
|
| template <class Backend>
| inline typename boost::enable_if_c<boost::multiprecision::detail::is_backend<Backend>::value, const number<Backend, et_on>&>::type(max)(const number<Backend, et_on>& a, const number<Backend, et_on>& b)
| {
| return a > b ? a : b;
| }
| template <class Backend, class tag, class A1, class A2, class A3, class A4>
| inline typename boost::enable_if_c<boost::multiprecision::detail::is_backend<Backend>::value, const number<Backend, et_on> >::type(max)(const number<Backend, et_on>& a, const detail::expression<tag, A1, A2, A3, A4>& b)
| {
| number<Backend, et_on> t(b);
| if (a > t)
| return a;
| return BOOST_MP_MOVE(t);
| }
| template <class tag, class A1, class A2, class A3, class A4, class Backend>
| inline typename boost::enable_if_c<boost::multiprecision::detail::is_backend<Backend>::value, const number<Backend, et_on> >::type(max)(const detail::expression<tag, A1, A2, A3, A4>& a, const number<Backend, et_on>& b)
| {
| number<Backend, et_on> t(a);
| if (t > b)
| return BOOST_MP_MOVE(t);
| return b;
| }
| template <class tag, class A1, class A2, class A3, class A4, class tagb, class A1b, class A2b, class A3b, class A4b>
| inline typename detail::expression<tag, A1, A2, A3, A4>::result_type(max)(const detail::expression<tag, A1, A2, A3, A4>& a, const detail::expression<tagb, A1b, A2b, A3b, A4b>& b)
| {
| typename detail::expression<tag, A1, A2, A3, A4>::result_type t1(a), t2(b);
| if (t1 > t2)
| return BOOST_MP_MOVE(t1);
| return BOOST_MP_MOVE(t2);
| }
| template <class tag, class A1, class A2, class A3, class A4>
| inline typename detail::expression<tag, A1, A2, A3, A4>::result_type(max)(const detail::expression<tag, A1, A2, A3, A4>& a, const detail::expression<tag, A1, A2, A3, A4>& b)
| {
| typename detail::expression<tag, A1, A2, A3, A4>::result_type t1(a), t2(b);
| if (t1 > t2)
| return BOOST_MP_MOVE(t1);
| return BOOST_MP_MOVE(t2);
| }
|
| }} // namespace boost::multiprecision
|
| #endif
|
|
