1 /* Boost interval/compare/lexicographic.hpp template implementation file
2 *
3 * Copyright 2002-2003 Guillaume Melquiond
4 *
5 * Distributed under the Boost Software License, Version 1.0.
6 * (See accompanying file LICENSE_1_0.txt or
7 * copy at http://www.boost.org/LICENSE_1_0.txt)
8 */
9
10 #ifndef BOOST_NUMERIC_INTERVAL_COMPARE_LEXICOGRAPHIC_HPP
11 #define BOOST_NUMERIC_INTERVAL_COMPARE_LEXICOGRAPHIC_HPP
12
13 #include <boost/numeric/interval/detail/interval_prototype.hpp>
14 #include <boost/numeric/interval/detail/test_input.hpp>
15
16 namespace boost {
17 namespace numeric {
18 namespace interval_lib {
19 namespace compare {
20 namespace lexicographic {
21
22 template<class T, class Policies1, class Policies2> inline
operator <(const interval<T,Policies1> & x,const interval<T,Policies2> & y)23 bool operator<(const interval<T, Policies1>& x, const interval<T, Policies2>& y)
24 {
25 if (detail::test_input(x, y)) throw comparison_error();
26 const T& xl = x.lower();
27 const T& yl = y.lower();
28 return xl < yl || (xl == yl && x.upper() < y.upper());
29 }
30
31 template<class T, class Policies> inline
operator <(const interval<T,Policies> & x,const T & y)32 bool operator<(const interval<T, Policies>& x, const T& y)
33 {
34 if (detail::test_input(x, y)) throw comparison_error();
35 return x.lower() < y;
36 }
37
38 template<class T, class Policies1, class Policies2> inline
operator <=(const interval<T,Policies1> & x,const interval<T,Policies2> & y)39 bool operator<=(const interval<T, Policies1>& x, const interval<T, Policies2>& y)
40 {
41 if (detail::test_input(x, y)) throw comparison_error();
42 const T& xl = x.lower();
43 const T& yl = y.lower();
44 return xl < yl || (xl == yl && x.upper() <= y.upper());
45 }
46
47 template<class T, class Policies> inline
operator <=(const interval<T,Policies> & x,const T & y)48 bool operator<=(const interval<T, Policies>& x, const T& y)
49 {
50 if (detail::test_input(x, y)) throw comparison_error();
51 const T& xl = x.lower();
52 return xl < y || (xl == y && x.upper() <= y);
53 }
54
55 template<class T, class Policies1, class Policies2> inline
operator >(const interval<T,Policies1> & x,const interval<T,Policies2> & y)56 bool operator>(const interval<T, Policies1>& x, const interval<T, Policies2>& y)
57 {
58 if (detail::test_input(x, y)) throw comparison_error();
59 const T& xl = x.lower();
60 const T& yl = y.lower();
61 return xl > yl || (xl == yl && x.upper() > y.upper());
62 }
63
64 template<class T, class Policies> inline
operator >(const interval<T,Policies> & x,const T & y)65 bool operator>(const interval<T, Policies>& x, const T& y)
66 {
67 if (detail::test_input(x, y)) throw comparison_error();
68 const T& xl = x.lower();
69 return xl > y || (xl == y && x.upper() > y);
70 }
71
72 template<class T, class Policies1, class Policies2> inline
operator >=(const interval<T,Policies1> & x,const interval<T,Policies2> & y)73 bool operator>=(const interval<T, Policies1>& x, const interval<T, Policies2>& y)
74 {
75 if (detail::test_input(x, y)) throw comparison_error();
76 const T& xl = x.lower();
77 const T& yl = y.lower();
78 return xl > yl || (xl == yl && x.upper() >= y.upper());
79 }
80
81 template<class T, class Policies> inline
operator >=(const interval<T,Policies> & x,const T & y)82 bool operator>=(const interval<T, Policies>& x, const T& y)
83 {
84 if (detail::test_input(x, y)) throw comparison_error();
85 return x.lower() >= y;
86 }
87
88 template<class T, class Policies1, class Policies2> inline
operator ==(const interval<T,Policies1> & x,const interval<T,Policies2> & y)89 bool operator==(const interval<T, Policies1>& x, const interval<T, Policies2>& y)
90 {
91 if (detail::test_input(x, y)) throw comparison_error();
92 return x.lower() == y.lower() && x.upper() == y.upper();
93 }
94
95 template<class T, class Policies> inline
operator ==(const interval<T,Policies> & x,const T & y)96 bool operator==(const interval<T, Policies>& x, const T& y)
97 {
98 if (detail::test_input(x, y)) throw comparison_error();
99 return x.lower() == y && x.upper() == y;
100 }
101
102 template<class T, class Policies1, class Policies2> inline
operator !=(const interval<T,Policies1> & x,const interval<T,Policies2> & y)103 bool operator!=(const interval<T, Policies1>& x, const interval<T, Policies2>& y)
104 {
105 if (detail::test_input(x, y)) throw comparison_error();
106 return x.lower() != y.lower() || x.upper() != y.upper();
107 }
108
109 template<class T, class Policies> inline
operator !=(const interval<T,Policies> & x,const T & y)110 bool operator!=(const interval<T, Policies>& x, const T& y)
111 {
112 if (detail::test_input(x, y)) throw comparison_error();
113 return x.lower() != y || x.upper() != y;
114 }
115
116 } // namespace lexicographic
117 } // namespace compare
118 } // namespace interval_lib
119 } // namespace numeric
120 } // namespace boost
121
122 #endif // BOOST_NUMERIC_INTERVAL_COMPARE_LEXICOGRAPHIC_HPP
123