FM / detail

/usr/include/boost/units/detail

Name	Size	Mode	Actions
absolute_impl.hpp	3055	0644	edit dl rm
cmath_impl.hpp	3757	0644	edit dl rm
conversion_impl.hpp	15443	0644	edit dl rm
dimensionless_unit.hpp	2221	0644	edit dl rm
dimension_impl.hpp	8683	0644	edit dl rm
dimension_list.hpp	2654	0644	edit dl rm
dim_impl.hpp	1744	0644	edit dl rm
heterogeneous_conversion.hpp	8071	0644	edit dl rm
linear_algebra.hpp	32647	0644	edit dl rm
one.hpp	2149	0644	edit dl rm
ordinal.hpp	1017	0644	edit dl rm
prevent_redefinition.hpp	1369	0644	edit dl rm
push_front_if.hpp	882	0644	edit dl rm
push_front_or_add.hpp	1948	0644	edit dl rm
sort.hpp	2640	0644	edit dl rm
static_rational_power.hpp	4922	0644	edit dl rm
unscale.hpp	5446	0644	edit dl rm
utility.hpp	1264	0644	edit dl rm

Edit: /usr/include/boost/units/detail/dimension_impl.hpp (8683B)

#ifndef BOOST_UNITS_DIMENSION_IMPL_HPP
#define BOOST_UNITS_DIMENSION_IMPL_HPP

#include <boost/mpl/begin_end.hpp>
#include <boost/mpl/deref.hpp>
#include <boost/mpl/if.hpp>
#include <boost/mpl/list.hpp>
#include <boost/mpl/next.hpp>
#include <boost/mpl/size.hpp>
#include <boost/mpl/less.hpp>

#include <boost/units/config.hpp>
#include <boost/units/dimensionless_type.hpp>
#include <boost/units/static_rational.hpp>
#include <boost/units/units_fwd.hpp>
#include <boost/units/detail/dimension_list.hpp>
#include <boost/units/detail/push_front_if.hpp>
#include <boost/units/detail/push_front_or_add.hpp>

/// \file 
/// \brief Core class and metaprogramming utilities for compile-time dimensional analysis.

namespace boost {

namespace units {

namespace detail {

template<int N>
struct insertion_sort_dims_insert;

template<bool is_greater>
struct insertion_sort_dims_comparison_impl;

// have to recursively add the element to the next sequence.
template<>
struct insertion_sort_dims_comparison_impl<true> {
    template<class Begin, int N, class T>
    struct apply {
        typedef list<
            typename Begin::item,
            typename insertion_sort_dims_insert<N - 1>::template apply<
                typename Begin::next,
                T
            >::type
        > type;
    };
};

// either prepend the current element or join it to
// the first remaining element of the sequence.
template<>
struct insertion_sort_dims_comparison_impl<false> {
    template<class Begin, int N, class T>
    struct apply {
        typedef typename push_front_or_add<Begin, T>::type type;
    };
};

template<int N>
struct insertion_sort_dims_insert {
    template<class Begin, class T>
    struct apply {
        typedef typename insertion_sort_dims_comparison_impl<mpl::less<typename Begin::item, T>::value>::template apply<
            Begin,
            N,
            T
        >::type type;
    };
};

template<>
struct insertion_sort_dims_insert<0> {
    template<class Begin, class T>
    struct apply {
        typedef list<T, dimensionless_type> type;
    };
};

template<int N>
struct insertion_sort_dims_mpl_sequence {
    template<class Begin>
    struct apply {
        typedef typename insertion_sort_dims_mpl_sequence<N - 1>::template apply<typename mpl::next<Begin>::type>::type next;
        typedef typename insertion_sort_dims_insert<(next::size::value)>::template apply<next, typename mpl::deref<Begin>::type>::type type;
    };
};

template<>
struct insertion_sort_dims_mpl_sequence<0> {
    template<class Begin>
    struct apply {
        typedef dimensionless_type type;
    };
};

template<int N>
struct insertion_sort_dims_impl {
    template<class Begin>
    struct apply {
        typedef typename insertion_sort_dims_impl<N - 1>::template apply<typename Begin::next>::type next;
        typedef typename insertion_sort_dims_insert<(next::size::value)>::template apply<next, typename Begin::item>::type type;
    };
};

template<>
struct insertion_sort_dims_impl<0> {
    template<class Begin>
    struct apply {
        typedef dimensionless_type type;
    };
};

template<class T>
struct sort_dims
{
    typedef typename insertion_sort_dims_mpl_sequence<mpl::size<T>::value>::template apply<typename mpl::begin<T>::type>::type type;
};

template<class T, class Next>
struct sort_dims<list<T, Next> >
{
    typedef typename insertion_sort_dims_impl<list<T, Next>::size::value>::template apply<list<T, Next> >::type type;
};

/// sorted sequences can be merged in linear time
template<bool less, bool greater>
struct merge_dimensions_func;

template<int N1, int N2>
struct merge_dimensions_impl;

template<>
struct merge_dimensions_func<true, false>
{
    template<typename Begin1, typename Begin2, int N1, int N2>
    struct apply
    {
        typedef list<
            typename Begin1::item,
            typename merge_dimensions_impl<N1 - 1, N2>::template apply<
                typename Begin1::next,
                Begin2
            >::type
        > type;
    };
};

template<>
struct merge_dimensions_func<false, true> {
    template<typename Begin1, typename Begin2, int N1, int N2>
    struct apply
    {
        typedef list<
            typename Begin2::item,
            typename merge_dimensions_impl<N2 - 1, N1>::template apply<
                typename Begin2::next,
                Begin1
            >::type
        > type;
    };
};

template<>
struct merge_dimensions_func<false, false> {
    template<typename Begin1, typename Begin2, int N1, int N2>
    struct apply
    {
        typedef typename mpl::plus<typename Begin1::item, typename Begin2::item>::type combined;
        typedef typename push_front_if<!is_empty_dim<combined>::value>::template apply<
            typename merge_dimensions_impl<N1 - 1, N2 - 1>::template apply<
                typename Begin1::next,
                typename Begin2::next
            >::type,
            combined
        >::type type;
    };
};

template<int N1, int N2>
struct merge_dimensions_impl {
    template<typename Begin1, typename Begin2>
    struct apply
    {
        typedef typename Begin1::item dim1;
        typedef typename Begin2::item dim2;

typedef typename merge_dimensions_func<(mpl::less<dim1,dim2>::value == true),
                (mpl::less<dim2,dim1>::value == true)>::template apply<
            Begin1,
            Begin2,
            N1,
            N2
        >::type type;
    };
};

template<typename Sequence1, typename Sequence2>
struct merge_dimensions
{
    typedef typename detail::merge_dimensions_impl<Sequence1::size::value, 
                                                   Sequence2::size::value>::template 
        apply<
            Sequence1,
            Sequence2
        >::type type;
};

template<int N>
struct iterator_to_list
{
    template<typename Begin>
    struct apply
    {
        typedef list<
            typename Begin::item,
            typename iterator_to_list<N - 1>::template apply<
                typename Begin::next
            >::type
        > type;
    };
};

template<>
struct iterator_to_list<0>
{
    template<typename Begin>
    struct apply {
        typedef dimensionless_type type;
    };
};

template<int N>
struct merge_dimensions_impl<N, 0>
{
    template<typename Begin1, typename Begin2>
    struct apply
    {
        typedef typename iterator_to_list<N>::template apply<Begin1>::type type;
    };
};

template<int N>
struct merge_dimensions_impl<0, N>
{
    template<typename Begin1, typename Begin2>
    struct apply
    {
        typedef typename iterator_to_list<N>::template apply<Begin2>::type type;
    };
};

template<>
struct merge_dimensions_impl<0, 0>
{
    template<typename Begin1, typename Begin2>
    struct apply
    {
        typedef dimensionless_type type;
    };
};

template<int N>
struct static_inverse_impl
{
    template<typename Begin>
    struct apply {
        typedef list<
            typename mpl::negate<typename Begin::item>::type,
            typename static_inverse_impl<N - 1>::template apply<
                typename Begin::next
            >::type
        > type;
    };
};

template<>
struct static_inverse_impl<0>
{
    template<typename Begin>
    struct apply
    {
        typedef dimensionless_type type;
    };
};

template<int N>
struct static_power_impl
{
    template<typename Begin, typename Ex>
    struct apply
    {
        typedef list<
            typename mpl::times<typename Begin::item, Ex>::type,
            typename detail::static_power_impl<N - 1>::template apply<typename Begin::next, Ex>::type
        > type;
    };
};

template<>
struct static_power_impl<0>
{
    template<typename Begin, typename Ex>
    struct apply
    {
        typedef dimensionless_type type;
    };
};

template<int N>
struct static_root_impl {
    template<class Begin, class Ex>
    struct apply {
        typedef list<
            typename mpl::divides<typename Begin::item, Ex>::type,
            typename detail::static_root_impl<N - 1>::template apply<typename Begin::next, Ex>::type
        > type;
    };
};

template<>
struct static_root_impl<0> {
    template<class Begin, class Ex>
    struct apply 
    {
        typedef dimensionless_type type;
    };
};

} // namespace detail

} // namespace units

} // namespace boost

#endif // BOOST_UNITS_DIMENSION_IMPL_HPP

// 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_DIMENSION_IMPL_HPP #define BOOST_UNITS_DIMENSION_IMPL_HPP #include #include #include #include #include #include #include #include #include #include #include #include #include #include /// \file /// \brief Core class and metaprogramming utilities for compile-time dimensional analysis. namespace boost { namespace units { namespace detail { template struct insertion_sort_dims_insert; template struct insertion_sort_dims_comparison_impl; // have to recursively add the element to the next sequence. template<> struct insertion_sort_dims_comparison_impl { template struct apply { typedef list< typename Begin::item, typename insertion_sort_dims_insert::template apply< typename Begin::next, T >::type > type; }; }; // either prepend the current element or join it to // the first remaining element of the sequence. template<> struct insertion_sort_dims_comparison_impl { template struct apply { typedef typename push_front_or_add::type type; }; }; template struct insertion_sort_dims_insert { template struct apply { typedef typename insertion_sort_dims_comparison_impl::value>::template apply< Begin, N, T >::type type; }; }; template<> struct insertion_sort_dims_insert<0> { template struct apply { typedef list type; }; }; template struct insertion_sort_dims_mpl_sequence { template struct apply { typedef typename insertion_sort_dims_mpl_sequence::template apply::type>::type next; typedef typename insertion_sort_dims_insert<(next::size::value)>::template apply::type>::type type; }; }; template<> struct insertion_sort_dims_mpl_sequence<0> { template struct apply { typedef dimensionless_type type; }; }; template struct insertion_sort_dims_impl { template struct apply { typedef typename insertion_sort_dims_impl::template apply::type next; typedef typename insertion_sort_dims_insert<(next::size::value)>::template apply::type type; }; }; template<> struct insertion_sort_dims_impl<0> { template struct apply { typedef dimensionless_type type; }; }; template struct sort_dims { typedef typename insertion_sort_dims_mpl_sequence::value>::template apply::type>::type type; }; template struct sort_dims > { typedef typename insertion_sort_dims_impl::size::value>::template apply >::type type; }; /// sorted sequences can be merged in linear time template struct merge_dimensions_func; template struct merge_dimensions_impl; template<> struct merge_dimensions_func { template struct apply { typedef list< typename Begin1::item, typename merge_dimensions_impl::template apply< typename Begin1::next, Begin2 >::type > type; }; }; template<> struct merge_dimensions_func { template struct apply { typedef list< typename Begin2::item, typename merge_dimensions_impl::template apply< typename Begin2::next, Begin1 >::type > type; }; }; template<> struct merge_dimensions_func { template struct apply { typedef typename mpl::plus::type combined; typedef typename push_front_if::value>::template apply< typename merge_dimensions_impl::template apply< typename Begin1::next, typename Begin2::next >::type, combined >::type type; }; }; template struct merge_dimensions_impl { template struct apply { typedef typename Begin1::item dim1; typedef typename Begin2::item dim2; typedef typename merge_dimensions_func<(mpl::less::value == true), (mpl::less::value == true)>::template apply< Begin1, Begin2, N1, N2 >::type type; }; }; template struct merge_dimensions { typedef typename detail::merge_dimensions_impl::template apply< Sequence1, Sequence2 >::type type; }; template struct iterator_to_list { template struct apply { typedef list< typename Begin::item, typename iterator_to_list::template apply< typename Begin::next >::type > type; }; }; template<> struct iterator_to_list<0> { template struct apply { typedef dimensionless_type type; }; }; template struct merge_dimensions_impl { template struct apply { typedef typename iterator_to_list::template apply::type type; }; }; template struct merge_dimensions_impl<0, N> { template struct apply { typedef typename iterator_to_list::template apply::type type; }; }; template<> struct merge_dimensions_impl<0, 0> { template struct apply { typedef dimensionless_type type; }; }; template struct static_inverse_impl { template struct apply { typedef list< typename mpl::negate::type, typename static_inverse_impl::template apply< typename Begin::next >::type > type; }; }; template<> struct static_inverse_impl<0> { template struct apply { typedef dimensionless_type type; }; }; template struct static_power_impl { template struct apply { typedef list< typename mpl::times::type, typename detail::static_power_impl::template apply::type > type; }; }; template<> struct static_power_impl<0> { template struct apply { typedef dimensionless_type type; }; }; template struct static_root_impl { template struct apply { typedef list< typename mpl::divides::type, typename detail::static_root_impl::template apply::type > type; }; }; template<> struct static_root_impl<0> { template struct apply { typedef dimensionless_type type; }; }; } // namespace detail } // namespace units } // namespace boost #endif // BOOST_UNITS_DIMENSION_IMPL_HPP