blob: 85792b8acb4c05ebc3749cc518ff0f0b0dffd2f8 (
plain)
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
|
// Boost.Units - A C++ library for zero-overhead dimensional analysis and
// unit/quantity manipulation and conversion
//
// Copyright (C) 2003-2008 Matthias Christian Schabel
// Copyright (C) 2008 Steven Watanabe
//
// 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_UNITS_DIM_IMPL_HPP
#define BOOST_UNITS_DIM_IMPL_HPP
#include <boost/mpl/bool.hpp>
#include <boost/mpl/less.hpp>
#include <boost/units/units_fwd.hpp>
/// \file
/// \brief Class encapsulating a dimension tag/value pair
namespace boost {
namespace units {
namespace detail {
struct dim_tag;
}
}
namespace mpl {
/// Less than comparison for sorting @c dim.
template<>
struct less_impl<boost::units::detail::dim_tag, boost::units::detail::dim_tag>
{
template<class T0, class T1>
struct apply : mpl::less<typename T0::tag_type, typename T1::tag_type> {};
};
}
namespace units {
template<class Tag, class Exponent>
struct dim;
template<long N, long D>
class static_rational;
namespace detail {
/// Extract @c tag_type from a @c dim.
template<typename T>
struct get_tag
{
typedef typename T::tag_type type;
};
/// Extract @c value_type from a @c dim.
template<typename T>
struct get_value
{
typedef typename T::value_type type;
};
/// Determine if a @c dim is empty (has a zero exponent).
template<class T>
struct is_empty_dim;
template<typename T>
struct is_empty_dim< dim<T, static_rational<0, 1> > > :
mpl::true_
{ };
template<typename T, typename V>
struct is_empty_dim< dim<T, V> > :
mpl::false_
{ };
} // namespace detail
} // namespace units
} // namespace boost
#endif // BOOST_UNITS_DIM_IMPL_HPP
|