]>
Commit | Line | Data |
---|---|---|
7c673cae FG |
1 | /*-----------------------------------------------------------------------------+ |
2 | Copyright (c) 2010-2010: Joachim Faulhaber | |
3 | +------------------------------------------------------------------------------+ | |
4 | Distributed under the Boost Software License, Version 1.0. | |
5 | (See accompanying file LICENCE.txt or copy at | |
6 | http://www.boost.org/LICENSE_1_0.txt) | |
7 | +-----------------------------------------------------------------------------*/ | |
8 | #ifndef BOOST_ICL_TYPE_TRAITS_IS_NUMERIC_HPP_JOFA_100322 | |
9 | #define BOOST_ICL_TYPE_TRAITS_IS_NUMERIC_HPP_JOFA_100322 | |
10 | ||
11 | #include <limits> | |
12 | #include <complex> | |
13 | #include <functional> | |
14 | #include <boost/type_traits/is_floating_point.hpp> | |
15 | #include <boost/type_traits/is_integral.hpp> | |
16 | ||
17 | namespace boost{ namespace icl | |
18 | { | |
19 | ||
20 | template <class Type> struct is_fixed_numeric | |
21 | { | |
22 | typedef is_fixed_numeric type; | |
23 | BOOST_STATIC_CONSTANT(bool, value = (0 < std::numeric_limits<Type>::digits)); | |
24 | }; | |
25 | ||
26 | template <class Type> struct is_std_numeric | |
27 | { | |
28 | typedef is_std_numeric type; | |
29 | BOOST_STATIC_CONSTANT(bool, | |
30 | value = (std::numeric_limits<Type>::is_specialized)); | |
31 | }; | |
32 | ||
33 | template <class Type> struct is_std_integral | |
34 | { | |
35 | typedef is_std_integral type; | |
36 | BOOST_STATIC_CONSTANT(bool, | |
37 | value = (std::numeric_limits<Type>::is_integer)); | |
38 | }; | |
39 | ||
40 | template <class Type> struct is_numeric | |
41 | { | |
42 | typedef is_numeric type; | |
43 | BOOST_STATIC_CONSTANT(bool, value = | |
44 | (mpl::or_< is_std_numeric<Type> | |
45 | , boost::is_integral<Type> | |
46 | , is_std_integral<Type> >::value) ); | |
47 | }; | |
48 | ||
49 | template <class Type> | |
50 | struct is_numeric<std::complex<Type> > | |
51 | { | |
52 | typedef is_numeric type; | |
53 | BOOST_STATIC_CONSTANT(bool, value = true); | |
54 | }; | |
55 | ||
56 | //-------------------------------------------------------------------------- | |
57 | template<class Type, class Compare, bool Enable = false> | |
58 | struct numeric_minimum | |
59 | { | |
60 | static bool is_less_than(Type){ return true; } | |
61 | static bool is_less_than_or(Type, bool){ return true; } | |
62 | }; | |
63 | ||
64 | template<class Type> | |
65 | struct numeric_minimum<Type, std::less<Type>, true> | |
66 | { | |
67 | static bool is_less_than(Type value) | |
68 | { return std::less<Type>()((std::numeric_limits<Type>::min)(), value); } | |
69 | ||
70 | static bool is_less_than_or(Type value, bool cond) | |
71 | { return cond || is_less_than(value); } | |
72 | }; | |
73 | ||
74 | template<class Type> | |
75 | struct numeric_minimum<Type, std::greater<Type>, true> | |
76 | { | |
77 | static bool is_less_than(Type value) | |
78 | { return std::greater<Type>()((std::numeric_limits<Type>::max)(), value); } | |
79 | ||
80 | static bool is_less_than_or(Type value, bool cond) | |
81 | { return cond || is_less_than(value); } | |
82 | }; | |
83 | ||
84 | //-------------------------------------------------------------------------- | |
85 | template<class Type> | |
86 | struct is_non_floating_point | |
87 | { | |
88 | typedef is_non_floating_point type; | |
89 | BOOST_STATIC_CONSTANT(bool, value = | |
90 | (mpl::not_< is_floating_point<Type> >::value)); | |
91 | }; | |
92 | ||
93 | }} // namespace boost icl | |
94 | ||
95 | #endif | |
96 | ||
97 |