Chris@102: // Boost.Geometry (aka GGL, Generic Geometry Library)
Chris@102: 
Chris@102: // Copyright (c) 2007-2012 Barend Gehrels, Amsterdam, the Netherlands.
Chris@102: 
Chris@102: // This file was modified by Oracle on 2014.
Chris@102: // Modifications copyright (c) 2014, Oracle and/or its affiliates.
Chris@102: 
Chris@102: // Contributed and/or modified by Adam Wulkiewicz, on behalf of Oracle
Chris@102: 
Chris@102: // Use, modification and distribution is subject to the Boost Software License,
Chris@102: // Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
Chris@102: // http://www.boost.org/LICENSE_1_0.txt)
Chris@102: 
Chris@102: #ifndef BOOST_GEOMETRY_ALGORITHMS_DETAIL_INTERSECTION_INTERFACE_HPP
Chris@102: #define BOOST_GEOMETRY_ALGORITHMS_DETAIL_INTERSECTION_INTERFACE_HPP
Chris@102: 
Chris@102: 
Chris@102: // TODO: those headers probably may be removed
Chris@102: #include <boost/geometry/core/coordinate_dimension.hpp>
Chris@102: #include <boost/geometry/algorithms/intersects.hpp>
Chris@102: 
Chris@102: #include <boost/geometry/algorithms/detail/overlay/intersection_insert.hpp>
Chris@102: #include <boost/geometry/policies/robustness/get_rescale_policy.hpp>
Chris@102: 
Chris@102: 
Chris@102: namespace boost { namespace geometry
Chris@102: {
Chris@102: 
Chris@102: 
Chris@102: #ifndef DOXYGEN_NO_DISPATCH
Chris@102: namespace dispatch
Chris@102: {
Chris@102: 
Chris@102: // By default, all is forwarded to the intersection_insert-dispatcher
Chris@102: template
Chris@102: <
Chris@102:     typename Geometry1, typename Geometry2,
Chris@102:     typename Tag1 = typename geometry::tag<Geometry1>::type,
Chris@102:     typename Tag2 = typename geometry::tag<Geometry2>::type,
Chris@102:     bool Reverse = reverse_dispatch<Geometry1, Geometry2>::type::value
Chris@102: >
Chris@102: struct intersection
Chris@102: {
Chris@102:     template <typename RobustPolicy, typename GeometryOut, typename Strategy>
Chris@102:     static inline bool apply(Geometry1 const& geometry1,
Chris@102:             Geometry2 const& geometry2,
Chris@102:             RobustPolicy const& robust_policy,
Chris@102:             GeometryOut& geometry_out,
Chris@102:             Strategy const& strategy)
Chris@102:     {
Chris@102:         typedef typename boost::range_value<GeometryOut>::type OneOut;
Chris@102: 
Chris@102:         intersection_insert
Chris@102:         <
Chris@102:             Geometry1, Geometry2, OneOut,
Chris@102:             overlay_intersection
Chris@102:         >::apply(geometry1, geometry2, robust_policy, std::back_inserter(geometry_out), strategy);
Chris@102: 
Chris@102:         return true;
Chris@102:     }
Chris@102: 
Chris@102: };
Chris@102: 
Chris@102: 
Chris@102: // If reversal is needed, perform it
Chris@102: template
Chris@102: <
Chris@102:     typename Geometry1, typename Geometry2,
Chris@102:     typename Tag1, typename Tag2
Chris@102: >
Chris@102: struct intersection
Chris@102: <
Chris@102:     Geometry1, Geometry2,
Chris@102:     Tag1, Tag2,
Chris@102:     true
Chris@102: >
Chris@102:     : intersection<Geometry2, Geometry1, Tag2, Tag1, false>
Chris@102: {
Chris@102:     template <typename RobustPolicy, typename GeometryOut, typename Strategy>
Chris@102:     static inline bool apply(
Chris@102:         Geometry1 const& g1,
Chris@102:         Geometry2 const& g2,
Chris@102:         RobustPolicy const& robust_policy,
Chris@102:         GeometryOut& out,
Chris@102:         Strategy const& strategy)
Chris@102:     {
Chris@102:         return intersection<
Chris@102:                    Geometry2, Geometry1,
Chris@102:                    Tag2, Tag1,
Chris@102:                    false
Chris@102:                >::apply(g2, g1, robust_policy, out, strategy);
Chris@102:     }
Chris@102: };
Chris@102: 
Chris@102: 
Chris@102: } // namespace dispatch
Chris@102: #endif // DOXYGEN_NO_DISPATCH
Chris@102: 
Chris@102:     
Chris@102: namespace resolve_variant
Chris@102: {
Chris@102:     
Chris@102: template <typename Geometry1, typename Geometry2>
Chris@102: struct intersection
Chris@102: {
Chris@102:     template <typename GeometryOut>
Chris@102:     static inline bool
Chris@102:     apply(
Chris@102:           const Geometry1& geometry1,
Chris@102:           const Geometry2& geometry2,
Chris@102:           GeometryOut& geometry_out)
Chris@102:     {
Chris@102:         concept::check<Geometry1 const>();
Chris@102:         concept::check<Geometry2 const>();
Chris@102:         
Chris@102:         typedef typename geometry::rescale_overlay_policy_type
Chris@102:         <
Chris@102:             Geometry1,
Chris@102:             Geometry2
Chris@102:         >::type rescale_policy_type;
Chris@102:         
Chris@102:         rescale_policy_type robust_policy
Chris@102:         = geometry::get_rescale_policy<rescale_policy_type>(geometry1, geometry2);
Chris@102:         
Chris@102:         typedef strategy_intersection
Chris@102:         <
Chris@102:             typename cs_tag<Geometry1>::type,
Chris@102:             Geometry1,
Chris@102:             Geometry2,
Chris@102:             typename geometry::point_type<Geometry1>::type,
Chris@102:             rescale_policy_type
Chris@102:         > strategy;
Chris@102:         
Chris@102:         return dispatch::intersection
Chris@102:         <
Chris@102:             Geometry1,
Chris@102:             Geometry2
Chris@102:         >::apply(geometry1, geometry2, robust_policy, geometry_out, strategy());
Chris@102:     }
Chris@102: };
Chris@102: 
Chris@102: 
Chris@102: template <BOOST_VARIANT_ENUM_PARAMS(typename T), typename Geometry2>
Chris@102: struct intersection<variant<BOOST_VARIANT_ENUM_PARAMS(T)>, Geometry2>
Chris@102: {
Chris@102:     template <typename GeometryOut>
Chris@102:     struct visitor: static_visitor<bool>
Chris@102:     {
Chris@102:         Geometry2 const& m_geometry2;
Chris@102:         GeometryOut& m_geometry_out;
Chris@102:         
Chris@102:         visitor(Geometry2 const& geometry2,
Chris@102:                 GeometryOut& geometry_out)
Chris@102:         : m_geometry2(geometry2),
Chris@102:         m_geometry_out(geometry_out)
Chris@102:         {}
Chris@102:         
Chris@102:         template <typename Geometry1>
Chris@102:         result_type operator()(Geometry1 const& geometry1) const
Chris@102:         {
Chris@102:             return intersection
Chris@102:             <
Chris@102:                 Geometry1,
Chris@102:                 Geometry2
Chris@102:             >::template apply
Chris@102:             <
Chris@102:                 GeometryOut
Chris@102:             >
Chris@102:             (geometry1, m_geometry2, m_geometry_out);
Chris@102:         }
Chris@102:     };
Chris@102:     
Chris@102:     template <typename GeometryOut>
Chris@102:     static inline bool
Chris@102:     apply(variant<BOOST_VARIANT_ENUM_PARAMS(T)> const& geometry1,
Chris@102:           Geometry2 const& geometry2,
Chris@102:           GeometryOut& geometry_out)
Chris@102:     {
Chris@102:         return apply_visitor(visitor<GeometryOut>(geometry2, geometry_out), geometry1);
Chris@102:     }
Chris@102: };
Chris@102: 
Chris@102: 
Chris@102: template <typename Geometry1, BOOST_VARIANT_ENUM_PARAMS(typename T)>
Chris@102: struct intersection<Geometry1, variant<BOOST_VARIANT_ENUM_PARAMS(T)> >
Chris@102: {
Chris@102:     template <typename GeometryOut>
Chris@102:     struct visitor: static_visitor<bool>
Chris@102:     {
Chris@102:         Geometry1 const& m_geometry1;
Chris@102:         GeometryOut& m_geometry_out;
Chris@102:         
Chris@102:         visitor(Geometry1 const& geometry1,
Chris@102:                 GeometryOut& geometry_out)
Chris@102:         : m_geometry1(geometry1),
Chris@102:           m_geometry_out(geometry_out)
Chris@102:         {}
Chris@102:         
Chris@102:         template <typename Geometry2>
Chris@102:         result_type operator()(Geometry2 const& geometry2) const
Chris@102:         {
Chris@102:             return intersection
Chris@102:             <
Chris@102:                 Geometry1,
Chris@102:                 Geometry2
Chris@102:             >::template apply
Chris@102:             <
Chris@102:                 GeometryOut
Chris@102:             >
Chris@102:             (m_geometry1, geometry2, m_geometry_out);
Chris@102:         }
Chris@102:     };
Chris@102:     
Chris@102:     template <typename GeometryOut>
Chris@102:     static inline bool
Chris@102:     apply(
Chris@102:           Geometry1 const& geometry1,
Chris@102:           const variant<BOOST_VARIANT_ENUM_PARAMS(T)>& geometry2,
Chris@102:           GeometryOut& geometry_out)
Chris@102:     {
Chris@102:         return apply_visitor(visitor<GeometryOut>(geometry1, geometry_out), geometry2);
Chris@102:     }
Chris@102: };
Chris@102: 
Chris@102: 
Chris@102: template <BOOST_VARIANT_ENUM_PARAMS(typename T1), BOOST_VARIANT_ENUM_PARAMS(typename T2)>
Chris@102: struct intersection<variant<BOOST_VARIANT_ENUM_PARAMS(T1)>, variant<BOOST_VARIANT_ENUM_PARAMS(T2)> >
Chris@102: {
Chris@102:     template <typename GeometryOut>
Chris@102:     struct visitor: static_visitor<bool>
Chris@102:     {
Chris@102:         GeometryOut& m_geometry_out;
Chris@102:         
Chris@102:         visitor(GeometryOut& geometry_out)
Chris@102:         : m_geometry_out(geometry_out)
Chris@102:         {}
Chris@102:         
Chris@102:         template <typename Geometry1, typename Geometry2>
Chris@102:         result_type operator()(
Chris@102:                                Geometry1 const& geometry1,
Chris@102:                                Geometry2 const& geometry2) const
Chris@102:         {
Chris@102:             return intersection
Chris@102:             <
Chris@102:                 Geometry1,
Chris@102:                 Geometry2
Chris@102:             >::template apply
Chris@102:             <
Chris@102:                 GeometryOut
Chris@102:             >
Chris@102:             (geometry1, geometry2, m_geometry_out);
Chris@102:         }
Chris@102:     };
Chris@102:     
Chris@102:     template <typename GeometryOut>
Chris@102:     static inline bool
Chris@102:     apply(
Chris@102:           const variant<BOOST_VARIANT_ENUM_PARAMS(T1)>& geometry1,
Chris@102:           const variant<BOOST_VARIANT_ENUM_PARAMS(T2)>& geometry2,
Chris@102:           GeometryOut& geometry_out)
Chris@102:     {
Chris@102:         return apply_visitor(visitor<GeometryOut>(geometry_out), geometry1, geometry2);
Chris@102:     }
Chris@102: };
Chris@102:     
Chris@102: } // namespace resolve_variant
Chris@102:     
Chris@102: 
Chris@102: /*!
Chris@102: \brief \brief_calc2{intersection}
Chris@102: \ingroup intersection
Chris@102: \details \details_calc2{intersection, spatial set theoretic intersection}.
Chris@102: \tparam Geometry1 \tparam_geometry
Chris@102: \tparam Geometry2 \tparam_geometry
Chris@102: \tparam GeometryOut Collection of geometries (e.g. std::vector, std::deque, boost::geometry::multi*) of which
Chris@102:     the value_type fulfills a \p_l_or_c concept, or it is the output geometry (e.g. for a box)
Chris@102: \param geometry1 \param_geometry
Chris@102: \param geometry2 \param_geometry
Chris@102: \param geometry_out The output geometry, either a multi_point, multi_polygon,
Chris@102:     multi_linestring, or a box (for intersection of two boxes)
Chris@102: 
Chris@102: \qbk{[include reference/algorithms/intersection.qbk]}
Chris@102: */
Chris@102: template
Chris@102: <
Chris@102:     typename Geometry1,
Chris@102:     typename Geometry2,
Chris@102:     typename GeometryOut
Chris@102: >
Chris@102: inline bool intersection(Geometry1 const& geometry1,
Chris@102:             Geometry2 const& geometry2,
Chris@102:             GeometryOut& geometry_out)
Chris@102: {
Chris@102:     return resolve_variant::intersection
Chris@102:         <
Chris@102:            Geometry1,
Chris@102:            Geometry2
Chris@102:         >::template apply
Chris@102:         <
Chris@102:             GeometryOut
Chris@102:         >
Chris@102:         (geometry1, geometry2, geometry_out);
Chris@102: }
Chris@102: 
Chris@102: 
Chris@102: }} // namespace boost::geometry
Chris@102: 
Chris@102: 
Chris@102: #endif // BOOST_GEOMETRY_ALGORITHMS_DETAIL_INTERSECTION_INTERFACE_HPP