diff options
Diffstat (limited to 'boost/geometry/algorithms/covered_by.hpp')
-rw-r--r-- | boost/geometry/algorithms/covered_by.hpp | 439 |
1 files changed, 2 insertions, 437 deletions
diff --git a/boost/geometry/algorithms/covered_by.hpp b/boost/geometry/algorithms/covered_by.hpp index f9d9dcc486..d68429673a 100644 --- a/boost/geometry/algorithms/covered_by.hpp +++ b/boost/geometry/algorithms/covered_by.hpp @@ -20,443 +20,8 @@ #define BOOST_GEOMETRY_ALGORITHMS_COVERED_BY_HPP -#include <cstddef> +#include <boost/geometry/algorithms/detail/covered_by/interface.hpp> +#include <boost/geometry/algorithms/detail/covered_by/implementation.hpp> -#include <boost/variant/apply_visitor.hpp> -#include <boost/variant/static_visitor.hpp> -#include <boost/variant/variant_fwd.hpp> - -#include <boost/geometry/algorithms/not_implemented.hpp> -#include <boost/geometry/algorithms/within.hpp> - -#include <boost/geometry/strategies/cartesian/point_in_box.hpp> -#include <boost/geometry/strategies/cartesian/box_in_box.hpp> -#include <boost/geometry/strategies/default_strategy.hpp> - -namespace boost { namespace geometry -{ - -#ifndef DOXYGEN_NO_DETAIL -namespace detail { namespace covered_by { - -struct use_point_in_geometry -{ - template <typename Geometry1, typename Geometry2, typename Strategy> - static inline bool apply(Geometry1 const& geometry1, Geometry2 const& geometry2, Strategy const& strategy) - { - return detail::within::point_in_geometry(geometry1, geometry2, strategy) >= 0; - } -}; - -struct use_relate -{ - template <typename Geometry1, typename Geometry2, typename Strategy> - static inline bool apply(Geometry1 const& geometry1, Geometry2 const& geometry2, Strategy const& strategy) - { - typedef typename detail::de9im::static_mask_covered_by_type - < - Geometry1, Geometry2 - >::type covered_by_mask; - return geometry::relate(geometry1, geometry2, covered_by_mask(), strategy); - } -}; - -}} // namespace detail::covered_by -#endif // DOXYGEN_NO_DETAIL - -#ifndef DOXYGEN_NO_DISPATCH -namespace dispatch -{ - -template -< - typename Geometry1, - typename Geometry2, - typename Tag1 = typename tag<Geometry1>::type, - typename Tag2 = typename tag<Geometry2>::type -> -struct covered_by - : not_implemented<Tag1, Tag2> -{}; - - -template <typename Point, typename Box> -struct covered_by<Point, Box, point_tag, box_tag> -{ - template <typename Strategy> - static inline bool apply(Point const& point, Box const& box, Strategy const& strategy) - { - ::boost::ignore_unused_variable_warning(strategy); - return strategy.apply(point, box); - } -}; - -template <typename Box1, typename Box2> -struct covered_by<Box1, Box2, box_tag, box_tag> -{ - template <typename Strategy> - static inline bool apply(Box1 const& box1, Box2 const& box2, Strategy const& strategy) - { - assert_dimension_equal<Box1, Box2>(); - ::boost::ignore_unused_variable_warning(strategy); - return strategy.apply(box1, box2); - } -}; - - -// P/P - -template <typename Point1, typename Point2> -struct covered_by<Point1, Point2, point_tag, point_tag> - : public detail::covered_by::use_point_in_geometry -{}; - -template <typename Point, typename MultiPoint> -struct covered_by<Point, MultiPoint, point_tag, multi_point_tag> - : public detail::covered_by::use_point_in_geometry -{}; - -// P/L - -template <typename Point, typename Segment> -struct covered_by<Point, Segment, point_tag, segment_tag> - : public detail::covered_by::use_point_in_geometry -{}; - -template <typename Point, typename Linestring> -struct covered_by<Point, Linestring, point_tag, linestring_tag> - : public detail::covered_by::use_point_in_geometry -{}; - -template <typename Point, typename MultiLinestring> -struct covered_by<Point, MultiLinestring, point_tag, multi_linestring_tag> - : public detail::covered_by::use_point_in_geometry -{}; - -// P/A - -template <typename Point, typename Ring> -struct covered_by<Point, Ring, point_tag, ring_tag> - : public detail::covered_by::use_point_in_geometry -{}; - -template <typename Point, typename Polygon> -struct covered_by<Point, Polygon, point_tag, polygon_tag> - : public detail::covered_by::use_point_in_geometry -{}; - -template <typename Point, typename MultiPolygon> -struct covered_by<Point, MultiPolygon, point_tag, multi_polygon_tag> - : public detail::covered_by::use_point_in_geometry -{}; - -// L/L - -template <typename Linestring1, typename Linestring2> -struct covered_by<Linestring1, Linestring2, linestring_tag, linestring_tag> - : public detail::covered_by::use_relate -{}; - -template <typename Linestring, typename MultiLinestring> -struct covered_by<Linestring, MultiLinestring, linestring_tag, multi_linestring_tag> - : public detail::covered_by::use_relate -{}; - -template <typename MultiLinestring, typename Linestring> -struct covered_by<MultiLinestring, Linestring, multi_linestring_tag, linestring_tag> - : public detail::covered_by::use_relate -{}; - -template <typename MultiLinestring1, typename MultiLinestring2> -struct covered_by<MultiLinestring1, MultiLinestring2, multi_linestring_tag, multi_linestring_tag> - : public detail::covered_by::use_relate -{}; - -// L/A - -template <typename Linestring, typename Ring> -struct covered_by<Linestring, Ring, linestring_tag, ring_tag> - : public detail::covered_by::use_relate -{}; - -template <typename MultiLinestring, typename Ring> -struct covered_by<MultiLinestring, Ring, multi_linestring_tag, ring_tag> - : public detail::covered_by::use_relate -{}; - -template <typename Linestring, typename Polygon> -struct covered_by<Linestring, Polygon, linestring_tag, polygon_tag> - : public detail::covered_by::use_relate -{}; - -template <typename MultiLinestring, typename Polygon> -struct covered_by<MultiLinestring, Polygon, multi_linestring_tag, polygon_tag> - : public detail::covered_by::use_relate -{}; - -template <typename Linestring, typename MultiPolygon> -struct covered_by<Linestring, MultiPolygon, linestring_tag, multi_polygon_tag> - : public detail::covered_by::use_relate -{}; - -template <typename MultiLinestring, typename MultiPolygon> -struct covered_by<MultiLinestring, MultiPolygon, multi_linestring_tag, multi_polygon_tag> - : public detail::covered_by::use_relate -{}; - -// A/A - -template <typename Ring1, typename Ring2> -struct covered_by<Ring1, Ring2, ring_tag, ring_tag> - : public detail::covered_by::use_relate -{}; - -template <typename Ring, typename Polygon> -struct covered_by<Ring, Polygon, ring_tag, polygon_tag> - : public detail::covered_by::use_relate -{}; - -template <typename Polygon, typename Ring> -struct covered_by<Polygon, Ring, polygon_tag, ring_tag> - : public detail::covered_by::use_relate -{}; - -template <typename Polygon1, typename Polygon2> -struct covered_by<Polygon1, Polygon2, polygon_tag, polygon_tag> - : public detail::covered_by::use_relate -{}; - -template <typename Ring, typename MultiPolygon> -struct covered_by<Ring, MultiPolygon, ring_tag, multi_polygon_tag> - : public detail::covered_by::use_relate -{}; - -template <typename MultiPolygon, typename Ring> -struct covered_by<MultiPolygon, Ring, multi_polygon_tag, ring_tag> - : public detail::covered_by::use_relate -{}; - -template <typename Polygon, typename MultiPolygon> -struct covered_by<Polygon, MultiPolygon, polygon_tag, multi_polygon_tag> - : public detail::covered_by::use_relate -{}; - -template <typename MultiPolygon, typename Polygon> -struct covered_by<MultiPolygon, Polygon, multi_polygon_tag, polygon_tag> - : public detail::covered_by::use_relate -{}; - -template <typename MultiPolygon1, typename MultiPolygon2> -struct covered_by<MultiPolygon1, MultiPolygon2, multi_polygon_tag, multi_polygon_tag> - : public detail::covered_by::use_relate -{}; - -} // namespace dispatch -#endif // DOXYGEN_NO_DISPATCH - - -namespace resolve_strategy { - -struct covered_by -{ - template <typename Geometry1, typename Geometry2, typename Strategy> - static inline bool apply(Geometry1 const& geometry1, - Geometry2 const& geometry2, - Strategy const& strategy) - { - concepts::within::check - < - typename tag<Geometry1>::type, - typename tag<Geometry2>::type, - typename tag_cast<typename tag<Geometry2>::type, areal_tag>::type, - Strategy - >(); - concepts::check<Geometry1 const>(); - concepts::check<Geometry2 const>(); - assert_dimension_equal<Geometry1, Geometry2>(); - - return dispatch::covered_by<Geometry1, Geometry2>::apply(geometry1, - geometry2, - strategy); - } - - template <typename Geometry1, typename Geometry2> - static inline bool apply(Geometry1 const& geometry1, - Geometry2 const& geometry2, - default_strategy) - { - typedef typename strategy::covered_by::services::default_strategy - < - Geometry1, - Geometry2 - >::type strategy_type; - - return covered_by::apply(geometry1, geometry2, strategy_type()); - } -}; - -} // namespace resolve_strategy - - -namespace resolve_variant { - -template <typename Geometry1, typename Geometry2> -struct covered_by -{ - template <typename Strategy> - static inline bool apply(Geometry1 const& geometry1, - Geometry2 const& geometry2, - Strategy const& strategy) - { - return resolve_strategy::covered_by - ::apply(geometry1, geometry2, strategy); - } -}; - -template <BOOST_VARIANT_ENUM_PARAMS(typename T), typename Geometry2> -struct covered_by<boost::variant<BOOST_VARIANT_ENUM_PARAMS(T)>, Geometry2> -{ - template <typename Strategy> - struct visitor: boost::static_visitor<bool> - { - Geometry2 const& m_geometry2; - Strategy const& m_strategy; - - visitor(Geometry2 const& geometry2, Strategy const& strategy) - : m_geometry2(geometry2), m_strategy(strategy) {} - - template <typename Geometry1> - bool operator()(Geometry1 const& geometry1) const - { - return covered_by<Geometry1, Geometry2> - ::apply(geometry1, m_geometry2, m_strategy); - } - }; - - template <typename Strategy> - static inline bool - apply(boost::variant<BOOST_VARIANT_ENUM_PARAMS(T)> const& geometry1, - Geometry2 const& geometry2, - Strategy const& strategy) - { - return boost::apply_visitor(visitor<Strategy>(geometry2, strategy), geometry1); - } -}; - -template <typename Geometry1, BOOST_VARIANT_ENUM_PARAMS(typename T)> -struct covered_by<Geometry1, boost::variant<BOOST_VARIANT_ENUM_PARAMS(T)> > -{ - template <typename Strategy> - struct visitor: boost::static_visitor<bool> - { - Geometry1 const& m_geometry1; - Strategy const& m_strategy; - - visitor(Geometry1 const& geometry1, Strategy const& strategy) - : m_geometry1(geometry1), m_strategy(strategy) {} - - template <typename Geometry2> - bool operator()(Geometry2 const& geometry2) const - { - return covered_by<Geometry1, Geometry2> - ::apply(m_geometry1, geometry2, m_strategy); - } - }; - - template <typename Strategy> - static inline bool - apply(Geometry1 const& geometry1, - boost::variant<BOOST_VARIANT_ENUM_PARAMS(T)> const& geometry2, - Strategy const& strategy) - { - return boost::apply_visitor(visitor<Strategy>(geometry1, strategy), geometry2); - } -}; - -template < - BOOST_VARIANT_ENUM_PARAMS(typename T1), - BOOST_VARIANT_ENUM_PARAMS(typename T2) -> -struct covered_by< - boost::variant<BOOST_VARIANT_ENUM_PARAMS(T1)>, - boost::variant<BOOST_VARIANT_ENUM_PARAMS(T2)> -> -{ - template <typename Strategy> - struct visitor: boost::static_visitor<bool> - { - Strategy const& m_strategy; - - visitor(Strategy const& strategy): m_strategy(strategy) {} - - template <typename Geometry1, typename Geometry2> - bool operator()(Geometry1 const& geometry1, - Geometry2 const& geometry2) const - { - return covered_by<Geometry1, Geometry2> - ::apply(geometry1, geometry2, m_strategy); - } - }; - - template <typename Strategy> - static inline bool - apply(boost::variant<BOOST_VARIANT_ENUM_PARAMS(T1)> const& geometry1, - boost::variant<BOOST_VARIANT_ENUM_PARAMS(T2)> const& geometry2, - Strategy const& strategy) - { - return boost::apply_visitor(visitor<Strategy>(strategy), geometry1, geometry2); - } -}; - -} // namespace resolve_variant - - -/*! -\brief \brief_check12{is inside or on border} -\ingroup covered_by -\details \details_check12{covered_by, is inside or on border}. -\tparam Geometry1 \tparam_geometry -\tparam Geometry2 \tparam_geometry -\param geometry1 \param_geometry which might be inside or on the border of the second geometry -\param geometry2 \param_geometry which might cover the first geometry -\return true if geometry1 is inside of or on the border of geometry2, - else false -\note The default strategy is used for covered_by detection - -\qbk{[include reference/algorithms/covered_by.qbk]} - - */ -template<typename Geometry1, typename Geometry2> -inline bool covered_by(Geometry1 const& geometry1, Geometry2 const& geometry2) -{ - return resolve_variant::covered_by<Geometry1, Geometry2> - ::apply(geometry1, geometry2, default_strategy()); -} - -/*! -\brief \brief_check12{is inside or on border} \brief_strategy -\ingroup covered_by -\details \details_check12{covered_by, is inside or on border}, \brief_strategy. \details_strategy_reasons -\tparam Geometry1 \tparam_geometry -\tparam Geometry2 \tparam_geometry -\param geometry1 \param_geometry which might be inside or on the border of the second geometry -\param geometry2 \param_geometry which might cover the first geometry -\param strategy strategy to be used -\return true if geometry1 is inside of or on the border of geometry2, - else false - -\qbk{distinguish,with strategy} -\qbk{[include reference/algorithms/covered_by.qbk]} - -*/ -template<typename Geometry1, typename Geometry2, typename Strategy> -inline bool covered_by(Geometry1 const& geometry1, Geometry2 const& geometry2, - Strategy const& strategy) -{ - return resolve_variant::covered_by<Geometry1, Geometry2> - ::apply(geometry1, geometry2, strategy); -} - -}} // namespace boost::geometry #endif // BOOST_GEOMETRY_ALGORITHMS_COVERED_BY_HPP |