Chris@16: // Boost.Geometry Index
Chris@16: //
Chris@16: // Copyright (c) 2011-2013 Adam Wulkiewicz, Lodz, Poland.
Chris@16: //
Chris@16: // Use, modification and distribution is subject to the Boost Software License,
Chris@16: // Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
Chris@16: // http://www.boost.org/LICENSE_1_0.txt)
Chris@16: 
Chris@16: #ifndef BOOST_GEOMETRY_INDEX_EQUAL_TO_HPP
Chris@16: #define BOOST_GEOMETRY_INDEX_EQUAL_TO_HPP
Chris@16: 
Chris@16: #include <boost/geometry/algorithms/equals.hpp>
Chris@16: 
Chris@16: namespace boost { namespace geometry { namespace index {
Chris@16: 
Chris@16: namespace detail {
Chris@16: 
Chris@16: template <typename Geometry, typename Tag>
Chris@16: struct equals
Chris@16: {
Chris@16:     static bool apply(Geometry const& g1, Geometry const& g2)
Chris@16:     {
Chris@16:         return geometry::equals(g1, g2);
Chris@16:     }
Chris@16: };
Chris@16: 
Chris@16: template <typename T>
Chris@16: struct equals<T, void>
Chris@16: {
Chris@16:     static bool apply(T const& v1, T const& v2)
Chris@16:     {
Chris@16:         return v1 == v2;
Chris@16:     }
Chris@16: };
Chris@16: 
Chris@16: template <typename Tuple, size_t I, size_t N>
Chris@16: struct tuple_equals
Chris@16: {
Chris@16:     inline static bool apply(Tuple const& t1, Tuple const& t2)
Chris@16:     {
Chris@16:         typedef typename boost::tuples::element<I, Tuple>::type T;
Chris@16:         return
Chris@16:             equals<
Chris@16:                 T, typename geometry::traits::tag<T>::type
Chris@16:             >::apply(boost::get<I>(t1), boost::get<I>(t2))
Chris@16:             &&
Chris@16:             tuple_equals<Tuple, I+1, N>::apply(t1, t2);
Chris@16:     }
Chris@16: };
Chris@16: 
Chris@16: template <typename Tuple, size_t I>
Chris@16: struct tuple_equals<Tuple, I, I>
Chris@16: {
Chris@16:     inline static bool apply(Tuple const&, Tuple const&)
Chris@16:     {
Chris@16:         return true;
Chris@16:     }
Chris@16: };
Chris@16: 
Chris@16: } // namespace detail
Chris@16: 
Chris@16: /*!
Chris@16: \brief The function object comparing Values.
Chris@16: 
Chris@16: It compares Geometries using geometry::equals() function. Other types are compared using operator==.
Chris@16: The default version handles Values which are Indexables.
Chris@16: This template is also specialized for std::pair<T1, T2> and boost::tuple<...>.
Chris@16: 
Chris@16: \tparam Value       The type of objects which are compared by this function object.
Chris@16: */
Chris@16: template <typename Value>
Chris@16: struct equal_to
Chris@16: {
Chris@16:     /*! \brief The type of result returned by function object. */
Chris@16:     typedef bool result_type;
Chris@16:     
Chris@16:     /*!
Chris@16:     \brief Compare values. If Value is a Geometry geometry::equals() function is used.
Chris@16:     
Chris@16:     \param l First value.
Chris@16:     \param r Second value.
Chris@16:     \return true if values are equal.
Chris@16:     */
Chris@16:     bool operator()(Value const& l, Value const& r) const
Chris@16:     {
Chris@16:         return detail::equals<Value, typename geometry::traits::tag<Value>::type>::apply(l ,r);
Chris@16:     }
Chris@16: };
Chris@16: 
Chris@16: /*!
Chris@16: \brief The function object comparing Values.
Chris@16: 
Chris@16: This specialization compares values of type std::pair<T1, T2>.
Chris@16: It compares pairs' first values, then second values.
Chris@16: 
Chris@16: \tparam T1       The first type.
Chris@16: \tparam T2       The second type.
Chris@16: */
Chris@16: template <typename T1, typename T2>
Chris@16: struct equal_to< std::pair<T1, T2> >
Chris@16: {
Chris@16:     /*! \brief The type of result returned by function object. */
Chris@16:     typedef bool result_type;
Chris@16: 
Chris@16:     /*!
Chris@16:     \brief Compare values. If pair<> Value member is a Geometry geometry::equals() function is used.
Chris@16:     
Chris@16:     \param l First value.
Chris@16:     \param r Second value.
Chris@16:     \return true if values are equal.
Chris@16:     */
Chris@16:     bool operator()(std::pair<T1, T2> const& l, std::pair<T1, T2> const& r) const
Chris@16:     {
Chris@16:         typedef detail::equals<T1, typename geometry::traits::tag<T1>::type> equals1;
Chris@16:         typedef detail::equals<T2, typename geometry::traits::tag<T2>::type> equals2;
Chris@16: 
Chris@16:         return equals1::apply(l.first, r.first) && equals2::apply(l.second, r.second);
Chris@16:     }
Chris@16: };
Chris@16: 
Chris@16: /*!
Chris@16: \brief The function object comparing Values.
Chris@16: 
Chris@16: This specialization compares values of type boost::tuple<...>.
Chris@16: It compares all members of the tuple from the first one to the last one.
Chris@16: */
Chris@16: template <typename T0, typename T1, typename T2, typename T3, typename T4,
Chris@16:           typename T5, typename T6, typename T7, typename T8, typename T9>
Chris@16: struct equal_to< boost::tuple<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9> >
Chris@16: {
Chris@16:     typedef boost::tuple<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9> value_type;
Chris@16: 
Chris@16:     /*! \brief The type of result returned by function object. */
Chris@16:     typedef bool result_type;
Chris@16: 
Chris@16:     /*!
Chris@16:     \brief Compare values. If tuple<> Value member is a Geometry geometry::equals() function is used.
Chris@16:     
Chris@16:     \param l First value.
Chris@16:     \param r Second value.
Chris@16:     \return true if values are equal.
Chris@16:     */
Chris@16:     bool operator()(value_type const& l, value_type const& r) const
Chris@16:     {
Chris@16:         return detail::tuple_equals<
Chris@16:             value_type, 0, boost::tuples::length<value_type>::value
Chris@16:         >::apply(l ,r);
Chris@16:     }
Chris@16: };
Chris@16: 
Chris@16: }}} // namespace boost::geometry::index
Chris@16: 
Chris@16: #if !defined(BOOST_NO_CXX11_HDR_TUPLE) && !defined(BOOST_NO_CXX11_VARIADIC_TEMPLATES)
Chris@16: 
Chris@16: #include <tuple>
Chris@16: 
Chris@16: namespace boost { namespace geometry { namespace index {
Chris@16: 
Chris@16: namespace detail {
Chris@16: 
Chris@16: template <typename Tuple, size_t I, size_t N>
Chris@16: struct std_tuple_equals
Chris@16: {
Chris@16:     inline static bool apply(Tuple const& t1, Tuple const& t2)
Chris@16:     {
Chris@16:         typedef typename std::tuple_element<I, Tuple>::type T;
Chris@16:         return
Chris@16:             equals<
Chris@16:                 T, typename geometry::traits::tag<T>::type
Chris@16:             >::apply(std::get<I>(t1), std::get<I>(t2))
Chris@16:             &&
Chris@16:             std_tuple_equals<Tuple, I+1, N>::apply(t1, t2);
Chris@16:     }
Chris@16: };
Chris@16: 
Chris@16: template <typename Tuple, size_t I>
Chris@16: struct std_tuple_equals<Tuple, I, I>
Chris@16: {
Chris@16:     inline static bool apply(Tuple const&, Tuple const&)
Chris@16:     {
Chris@16:         return true;
Chris@16:     }
Chris@16: };
Chris@16: 
Chris@16: } // namespace detail
Chris@16: 
Chris@16: /*!
Chris@16: \brief The function object comparing Values.
Chris@16: 
Chris@16: This specialization compares values of type std::tuple<Args...>.
Chris@16: It's defined if the compiler supports tuples and variadic templates.
Chris@16: It compares all members of the tuple from the first one to the last one.
Chris@16: */
Chris@16: template <typename ...Args>
Chris@16: struct equal_to< std::tuple<Args...> >
Chris@16: {
Chris@16:     typedef std::tuple<Args...> value_type;
Chris@16: 
Chris@16:     /*! \brief The type of result returned by function object. */
Chris@16:     typedef bool result_type;
Chris@16: 
Chris@16:     /*!
Chris@16:     \brief Compare values. If tuple<> Value member is a Geometry geometry::equals() function is used.
Chris@16:     
Chris@16:     \param l First value.
Chris@16:     \param r Second value.
Chris@16:     \return true if values are equal.
Chris@16:     */
Chris@16:     bool operator()(value_type const& l, value_type const& r) const
Chris@16:     {
Chris@16:         return detail::std_tuple_equals<
Chris@16:             value_type, 0, std::tuple_size<value_type>::value
Chris@16:         >::apply(l ,r);
Chris@16:     }
Chris@16: };
Chris@16: 
Chris@16: }}} // namespace boost::geometry::index
Chris@16: 
Chris@16: #endif // !defined(BOOST_NO_CXX11_HDR_TUPLE) && !defined(BOOST_NO_CXX11_VARIADIC_TEMPLATES)
Chris@16: 
Chris@16: #endif // BOOST_GEOMETRY_INDEX_EQUAL_TO_HPP