[3428] | 1 | /* Boost interval/compare/tribool.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_TRIBOOL_HPP |
---|
| 11 | #define BOOST_NUMERIC_INTERVAL_COMPARE_TRIBOOL_HPP |
---|
| 12 | |
---|
| 13 | #include <boost/numeric/interval/detail/interval_prototype.hpp> |
---|
| 14 | #include <boost/numeric/interval/detail/test_input.hpp> |
---|
| 15 | #include <boost/logic/tribool.hpp> |
---|
| 16 | |
---|
| 17 | namespace boost { |
---|
| 18 | namespace numeric { |
---|
| 19 | namespace interval_lib { |
---|
| 20 | namespace compare { |
---|
| 21 | namespace tribool { |
---|
| 22 | |
---|
| 23 | template<class T, class Policies1, class Policies2> inline |
---|
| 24 | logic::tribool operator<(const interval<T, Policies1>& x, const interval<T, Policies2>& y) |
---|
| 25 | { |
---|
| 26 | if (detail::test_input(x, y)) throw comparison_error(); |
---|
| 27 | if (x.upper() < y.lower()) return true; |
---|
| 28 | if (x.lower() >= y.upper()) return false; |
---|
| 29 | return logic::indeterminate; |
---|
| 30 | } |
---|
| 31 | |
---|
| 32 | template<class T, class Policies> inline |
---|
| 33 | logic::tribool operator<(const interval<T, Policies>& x, const T& y) |
---|
| 34 | { |
---|
| 35 | if (detail::test_input(x, y)) throw comparison_error(); |
---|
| 36 | if (x.upper() < y) return true; |
---|
| 37 | if (x.lower() >= y) return false; |
---|
| 38 | return logic::indeterminate; |
---|
| 39 | } |
---|
| 40 | |
---|
| 41 | template<class T, class Policies1, class Policies2> inline |
---|
| 42 | logic::tribool operator<=(const interval<T, Policies1>& x, const interval<T, Policies2>& y) |
---|
| 43 | { |
---|
| 44 | if (detail::test_input(x, y)) throw comparison_error(); |
---|
| 45 | if (x.upper() <= y.lower()) return true; |
---|
| 46 | if (x.lower() > y.upper()) return false; |
---|
| 47 | return logic::indeterminate; |
---|
| 48 | } |
---|
| 49 | |
---|
| 50 | template<class T, class Policies> inline |
---|
| 51 | logic::tribool operator<=(const interval<T, Policies>& x, const T& y) |
---|
| 52 | { |
---|
| 53 | if (detail::test_input(x, y)) throw comparison_error(); |
---|
| 54 | if (x.upper() <= y) return true; |
---|
| 55 | if (x.lower() > y) return false; |
---|
| 56 | return logic::indeterminate; |
---|
| 57 | } |
---|
| 58 | |
---|
| 59 | template<class T, class Policies1, class Policies2> inline |
---|
| 60 | logic::tribool operator>(const interval<T, Policies1>& x, const interval<T, Policies2>& y) |
---|
| 61 | { |
---|
| 62 | if (detail::test_input(x, y)) throw comparison_error(); |
---|
| 63 | if (x.lower() > y.upper()) return true; |
---|
| 64 | if (x.upper() <= y.lower()) return false; |
---|
| 65 | return logic::indeterminate; |
---|
| 66 | } |
---|
| 67 | |
---|
| 68 | template<class T, class Policies> inline |
---|
| 69 | logic::tribool operator>(const interval<T, Policies>& x, const T& y) |
---|
| 70 | { |
---|
| 71 | if (detail::test_input(x, y)) throw comparison_error(); |
---|
| 72 | if (x.lower() > y) return true; |
---|
| 73 | if (x.upper() <= y) return false; |
---|
| 74 | return logic::indeterminate; |
---|
| 75 | } |
---|
| 76 | |
---|
| 77 | template<class T, class Policies1, class Policies2> inline |
---|
| 78 | logic::tribool operator>=(const interval<T, Policies1>& x, const interval<T, Policies2>& y) |
---|
| 79 | { |
---|
| 80 | if (detail::test_input(x, y)) throw comparison_error(); |
---|
| 81 | if (x.lower() >= y.upper()) return true; |
---|
| 82 | if (x.upper() < y.lower()) return false; |
---|
| 83 | return logic::indeterminate; |
---|
| 84 | } |
---|
| 85 | |
---|
| 86 | template<class T, class Policies> inline |
---|
| 87 | logic::tribool operator>=(const interval<T, Policies>& x, const T& y) |
---|
| 88 | { |
---|
| 89 | if (detail::test_input(x, y)) throw comparison_error(); |
---|
| 90 | if (x.lower() >= y) return true; |
---|
| 91 | if (x.upper() < y) return false; |
---|
| 92 | return logic::indeterminate; |
---|
| 93 | } |
---|
| 94 | |
---|
| 95 | template<class T, class Policies1, class Policies2> inline |
---|
| 96 | logic::tribool operator==(const interval<T, Policies1>& x, const interval<T, Policies2>& y) |
---|
| 97 | { |
---|
| 98 | if (detail::test_input(x, y)) throw comparison_error(); |
---|
| 99 | if (x.upper() == y.lower() && x.lower() == y.upper()) return true; |
---|
| 100 | if (x.upper() < y.lower() || x.lower() > y.upper()) return false; |
---|
| 101 | return logic::indeterminate; |
---|
| 102 | } |
---|
| 103 | |
---|
| 104 | template<class T, class Policies> inline |
---|
| 105 | logic::tribool operator==(const interval<T, Policies>& x, const T& y) |
---|
| 106 | { |
---|
| 107 | if (detail::test_input(x, y)) throw comparison_error(); |
---|
| 108 | if (x.upper() == y && x.lower() == y) return true; |
---|
| 109 | if (x.upper() < y || x.lower() > y) return false; |
---|
| 110 | return logic::indeterminate; |
---|
| 111 | } |
---|
| 112 | |
---|
| 113 | template<class T, class Policies1, class Policies2> inline |
---|
| 114 | logic::tribool operator!=(const interval<T, Policies1>& x, const interval<T, Policies2>& y) |
---|
| 115 | { |
---|
| 116 | if (detail::test_input(x, y)) throw comparison_error(); |
---|
| 117 | if (x.upper() < y.lower() || x.lower() > y.upper()) return true; |
---|
| 118 | if (x.upper() == y.lower() && x.lower() == y.upper()) return false; |
---|
| 119 | return logic::indeterminate; |
---|
| 120 | } |
---|
| 121 | |
---|
| 122 | template<class T, class Policies> inline |
---|
| 123 | logic::tribool operator!=(const interval<T, Policies>& x, const T& y) |
---|
| 124 | { |
---|
| 125 | if (detail::test_input(x, y)) throw comparison_error(); |
---|
| 126 | if (x.upper() < y || x.lower() > y) return true; |
---|
| 127 | if (x.upper() == y && x.lower() == y) return false; |
---|
| 128 | return logic::indeterminate; |
---|
| 129 | } |
---|
| 130 | |
---|
| 131 | } // namespace tribool |
---|
| 132 | } // namespace compare |
---|
| 133 | } // namespace interval_lib |
---|
| 134 | } // namespace numeric |
---|
| 135 | } // namespace boost |
---|
| 136 | |
---|
| 137 | |
---|
| 138 | #endif // BOOST_NUMERIC_INTERVAL_COMPARE_TRIBOOL_HPP |
---|