rtime.felk.cvut.cz Git - eurobot/public.git/blob - src/boost/boost/numeric/interval/compare/possible.hpp

1 /* Boost interval/compare/possible.hpp template implementation file

2 *

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 */

10 #ifndef BOOST_NUMERIC_INTERVAL_COMPARE_POSSIBLE_HPP

11 #define BOOST_NUMERIC_INTERVAL_COMPARE_POSSIBLE_HPP

13 #include <boost/numeric/interval/detail/interval_prototype.hpp>

14 #include <boost/numeric/interval/detail/test_input.hpp>

16 namespace boost {

17 namespace numeric {

18 namespace interval_lib {

19 namespace compare {

20 namespace possible {

22 template<class T, class Policies1, class Policies2> inline

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 return x.lower() < y.upper();

27 }

29 template<class T, class Policies> inline

30 bool operator<(const interval<T, Policies>& x, const T& y)

31 {

32 if (detail::test_input(x, y)) throw comparison_error();

33 return x.lower() < y;

34 }

36 template<class T, class Policies1, class Policies2> inline

37 bool operator<=(const interval<T, Policies1>& x, const interval<T, Policies2>& y)

38 {

39 if (detail::test_input(x, y)) throw comparison_error();

40 return x.lower() <= y.upper();

41 }

43 template<class T, class Policies> inline

44 bool operator<=(const interval<T, Policies>& x, const T& y)

45 {

46 if (detail::test_input(x, y)) throw comparison_error();

47 return x.lower() <= y;

48 }

50 template<class T, class Policies1, class Policies2> inline

51 bool operator>(const interval<T, Policies1>& x, const interval<T, Policies2>& y)

52 {

53 if (detail::test_input(x, y)) throw comparison_error();

54 return x.upper() > y.lower();

55 }

57 template<class T, class Policies> inline

58 bool operator>(const interval<T, Policies>& x, const T& y)

59 {

60 if (detail::test_input(x, y)) throw comparison_error();

61 return x.upper() > y;

62 }

64 template<class T, class Policies1, class Policies2> inline

65 bool operator>=(const interval<T, Policies1>& x, const interval<T, Policies2>& y)

66 {

67 if (detail::test_input(x, y)) throw comparison_error();

68 return x.upper() >= y.lower();

69 }

71 template<class T, class Policies> inline

72 bool operator>=(const interval<T, Policies>& x, const T& y)

73 {

74 if (detail::test_input(x, y)) throw comparison_error();

75 return x.upper() >= y;

76 }

78 template<class T, class Policies1, class Policies2> inline

79 bool operator==(const interval<T, Policies1>& x, const interval<T, Policies2>& y)

80 {

81 if (detail::test_input(x, y)) throw comparison_error();

82 return x.lower() <= y.upper() && x.upper() >= y.lower();

83 }

85 template<class T, class Policies> inline

86 bool operator==(const interval<T, Policies>& x, const T& y)

87 {

88 if (detail::test_input(x, y)) throw comparison_error();

89 return x.lower() <= y && x.upper() >= y;

90 }

92 template<class T, class Policies1, class Policies2> inline

93 bool operator!=(const interval<T, Policies1>& x, const interval<T, Policies2>& y)

94 {

95 if (detail::test_input(x, y)) throw comparison_error();

96 return x.lower() != y.upper() || x.upper() != y.lower();

97 }

99 template<class T, class Policies> inline

100 bool operator!=(const interval<T, Policies>& x, const T& y)

101 {

102 if (detail::test_input(x, y)) throw comparison_error();

103 return x.lower() != y || x.upper() != y;

104 }

105

106 } // namespace possible

107 } // namespace compare

108 } // namespace interval_lib

109 } // namespace numeric

110 } // namespace boost

111

112

113 #endif // BOOST_NUMERIC_INTERVAL_COMPARE_POSSIBLE_HPP