FM / detail

/usr/include/boost/geometry/index/detail/

/usr/include/boost/geometry/index/detail

Name	Size	Mode	Actions
algorithms/	-	0755	rm
rtree/	-	0755	rm
assert.hpp	610	0644	edit dl rm
bounded_view.hpp	8764	0644	edit dl rm
config_begin.hpp	642	0644	edit dl rm
config_end.hpp	333	0644	edit dl rm
distance_predicates.hpp	9682	0644	edit dl rm
exception.hpp	2029	0644	edit dl rm
is_bounding_geometry.hpp	942	0644	edit dl rm
is_indexable.hpp	1150	0644	edit dl rm
meta.hpp	3289	0644	edit dl rm
predicates.hpp	29395	0644	edit dl rm
serialization.hpp	24861	0644	edit dl rm
tags.hpp	656	0644	edit dl rm
translator.hpp	2506	0644	edit dl rm
utilities.hpp	1273	0644	edit dl rm
varray.hpp	77278	0644	edit dl rm
varray_detail.hpp	23151	0644	edit dl rm

Edit: /usr/include/boost/geometry/index/detail/meta.hpp (3289B)

#include <boost/range.hpp>
#include <boost/mpl/aux_/has_type.hpp>
#include <boost/mpl/if.hpp>
#include <boost/mpl/and.hpp>
#include <boost/type_traits/is_convertible.hpp>
#include <boost/type_traits/is_same.hpp>

#ifndef BOOST_GEOMETRY_INDEX_DETAIL_META_HPP
#define BOOST_GEOMETRY_INDEX_DETAIL_META_HPP

namespace boost { namespace geometry { namespace index { namespace detail {

template <typename T>
struct is_range
    : ::boost::mpl::aux::has_type< ::boost::range_iterator<T> >
{};

//template <typename T, typename V, bool IsRange>
//struct is_range_of_convertible_values_impl
//    : ::boost::is_convertible<typename ::boost::range_value<T>::type, V>
//{};
//
//template <typename T, typename V>
//struct is_range_of_convertible_values_impl<T, V, false>
//    : ::boost::mpl::bool_<false>
//{};
//
//template <typename T, typename V>
//struct is_range_of_convertible_values
//    : is_range_of_convertible_values_impl<T, V, is_range<T>::value>
//{};

// Implemented this way in order to prevent instantiation of all type traits at
// once because some of them are causing problems with gcc 4.6 namely
// is_convertible<bg::model::segment<>, std::pair<bg::model::segment<>, T> >
// because segment<> is derived from pair<> and pair<> has copy ctor taking
// other pair<> of any types the compiler tries to instantiate ctor of
// pair<segment, T> taking pair<point, point> which results in instantiation of
// segment's ctor taking a point which results in compilation error.
// This is probably compiler's bug.
template <typename T, typename Value, typename Indexable, typename ResultType, int Ver>
struct convertible_type_impl
{
    typedef ResultType type;
};

template <typename T, typename Value, typename Indexable>
struct convertible_type_impl<T, Value, Indexable, void, 0>
{
    typedef typename boost::mpl::if_c
        <
            boost::is_convertible<T, Indexable>::value,
            Indexable,
            void
        >::type result_type;

typedef typename convertible_type_impl
        <
            T, Value, Indexable, result_type, 1
        >::type type;
};

template <typename T, typename Value, typename Indexable>
struct convertible_type_impl<T, Value, Indexable, void, 1>
{
    typedef typename boost::mpl::if_c
        <
            boost::is_convertible<T, Value>::value,
            Value,
            void
        >::type type;
};

template <typename T, typename Value, typename Indexable>
struct convertible_type
{
    typedef typename boost::mpl::if_c
        <
            boost::is_same<T, Value>::value,
            Value,
            typename boost::mpl::if_c
                <
                    boost::is_same<T, Indexable>::value,
                    Indexable,
                    void
                >::type
        >::type result_type;

typedef typename convertible_type_impl
        <
            T, Value, Indexable, result_type, 0
        >::type type;
};

}}}} // namespace boost::geometry::index::detail

#endif // BOOST_GEOMETRY_INDEX_DETAIL_META_HPP

// Boost.Geometry Index // // Copyright (c) 2011-2019 Adam Wulkiewicz, Lodz, Poland. // // Use, modification and distribution is subject to 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) #include #include #include #include #include #include #ifndef BOOST_GEOMETRY_INDEX_DETAIL_META_HPP #define BOOST_GEOMETRY_INDEX_DETAIL_META_HPP namespace boost { namespace geometry { namespace index { namespace detail { template struct is_range : ::boost::mpl::aux::has_type< ::boost::range_iterator > {}; //template //struct is_range_of_convertible_values_impl // : ::boost::is_convertible::type, V> //{}; // //template //struct is_range_of_convertible_values_impl // : ::boost::mpl::bool_ //{}; // //template //struct is_range_of_convertible_values // : is_range_of_convertible_values_impl::value> //{}; // Implemented this way in order to prevent instantiation of all type traits at // once because some of them are causing problems with gcc 4.6 namely // is_convertible, std::pair, T> > // because segment<> is derived from pair<> and pair<> has copy ctor taking // other pair<> of any types the compiler tries to instantiate ctor of // pair taking pair which results in instantiation of // segment's ctor taking a point which results in compilation error. // This is probably compiler's bug. template struct convertible_type_impl { typedef ResultType type; }; template struct convertible_type_impl { typedef typename boost::mpl::if_c < boost::is_convertible::value, Indexable, void >::type result_type; typedef typename convertible_type_impl < T, Value, Indexable, result_type, 1 >::type type; }; template struct convertible_type_impl { typedef typename boost::mpl::if_c < boost::is_convertible::value, Value, void >::type type; }; template struct convertible_type { typedef typename boost::mpl::if_c < boost::is_same::value, Value, typename boost::mpl::if_c < boost::is_same::value, Indexable, void >::type >::type result_type; typedef typename convertible_type_impl < T, Value, Indexable, result_type, 0 >::type type; }; }}}} // namespace boost::geometry::index::detail #endif // BOOST_GEOMETRY_INDEX_DETAIL_META_HPP