ceph/src/boost/libs/geometry/include/boost/geometry/algorithms/detail/disjoint/interface.hpp

   1 // Boost.Geometry (aka GGL, Generic Geometry Library)
   2
   3 // Copyright (c) 2007-2014 Barend Gehrels, Amsterdam, the Netherlands.
   4 // Copyright (c) 2008-2014 Bruno Lalande, Paris, France.
   5 // Copyright (c) 2009-2014 Mateusz Loskot, London, UK.
   6 // Copyright (c) 2013-2014 Adam Wulkiewicz, Lodz, Poland.
   7
   8 // This file was modified by Oracle on 2013-2014.
   9 // Modifications copyright (c) 2013-2014, Oracle and/or its affiliates.
  10
  11 // Contributed and/or modified by Adam Wulkiewicz, on behalf of Oracle
  12 // Contributed and/or modified by Menelaos Karavelas, on behalf of Oracle
  13
  14 // Parts of Boost.Geometry are redesigned from Geodan's Geographic Library
  15 // (geolib/GGL), copyright (c) 1995-2010 Geodan, Amsterdam, the Netherlands.
  16
  17 // Use, modification and distribution is subject to the Boost Software License,
  18 // Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
  19 // http://www.boost.org/LICENSE_1_0.txt)
  20
  21 #ifndef BOOST_GEOMETRY_ALGORITHMS_DETAIL_DISJOINT_INTERFACE_HPP
  22 #define BOOST_GEOMETRY_ALGORITHMS_DETAIL_DISJOINT_INTERFACE_HPP
  23
  24 #include <cstddef>
  25
  26 #include <boost/variant/apply_visitor.hpp>
  27 #include <boost/variant/static_visitor.hpp>
  28 #include <boost/variant/variant_fwd.hpp>
  29
  30 #include <boost/geometry/geometries/concepts/check.hpp>
  31
  32 #include <boost/geometry/algorithms/dispatch/disjoint.hpp>
  33
  34
  35 namespace boost { namespace geometry
  36 {
  37
  38
  39 #ifndef DOXYGEN_NO_DISPATCH
  40 namespace dispatch
  41 {
  42
  43
  44 // If reversal is needed, perform it
  45 template
  46 <
  47     typename Geometry1, typename Geometry2,
  48     std::size_t DimensionCount,
  49     typename Tag1, typename Tag2
  50 >
  51 struct disjoint<Geometry1, Geometry2, DimensionCount, Tag1, Tag2, true>
  52 {
  53     static inline bool apply(Geometry1 const& g1, Geometry2 const& g2)
  54     {
  55         return disjoint
  56             <
  57                 Geometry2, Geometry1,
  58                 DimensionCount,
  59                 Tag2, Tag1
  60             >::apply(g2, g1);
  61     }
  62 };
  63
  64
  65 } // namespace dispatch
  66 #endif // DOXYGEN_NO_DISPATCH
  67
  68
  69 namespace resolve_variant {
  70
  71 template <typename Geometry1, typename Geometry2>
  72 struct disjoint
  73 {
  74     static inline bool apply(Geometry1 const& geometry1, Geometry2 const& geometry2)
  75     {
  76         concepts::check_concepts_and_equal_dimensions
  77             <
  78                 Geometry1 const,
  79                 Geometry2 const
  80             >();
  81
  82         return dispatch::disjoint<Geometry1, Geometry2>::apply(geometry1, geometry2);
  83     }
  84 };
  85
  86 template <BOOST_VARIANT_ENUM_PARAMS(typename T), typename Geometry2>
  87 struct disjoint<boost::variant<BOOST_VARIANT_ENUM_PARAMS(T)>, Geometry2>
  88 {
  89     struct visitor: boost::static_visitor<bool>
  90     {
  91         Geometry2 const& m_geometry2;
  92
  93         visitor(Geometry2 const& geometry2): m_geometry2(geometry2) {}
  94
  95         template <typename Geometry1>
  96         bool operator()(Geometry1 const& geometry1) const
  97         {
  98             return disjoint<Geometry1, Geometry2>::apply(geometry1, m_geometry2);
  99         }
 100     };
 101
 102     static inline bool
 103     apply(boost::variant<BOOST_VARIANT_ENUM_PARAMS(T)> const& geometry1,
 104           Geometry2 const& geometry2)
 105     {
 106         return boost::apply_visitor(visitor(geometry2), geometry1);
 107     }
 108 };
 109
 110 template <typename Geometry1, BOOST_VARIANT_ENUM_PARAMS(typename T)>
 111 struct disjoint<Geometry1, boost::variant<BOOST_VARIANT_ENUM_PARAMS(T)> >
 112 {
 113     struct visitor: boost::static_visitor<bool>
 114     {
 115         Geometry1 const& m_geometry1;
 116
 117         visitor(Geometry1 const& geometry1): m_geometry1(geometry1) {}
 118
 119         template <typename Geometry2>
 120         bool operator()(Geometry2 const& geometry2) const
 121         {
 122             return disjoint<Geometry1, Geometry2>::apply(m_geometry1, geometry2);
 123         }
 124     };
 125
 126     static inline bool
 127     apply(Geometry1 const& geometry1,
 128           boost::variant<BOOST_VARIANT_ENUM_PARAMS(T)> const& geometry2)
 129     {
 130         return boost::apply_visitor(visitor(geometry1), geometry2);
 131     }
 132 };
 133
 134 template <
 135     BOOST_VARIANT_ENUM_PARAMS(typename T1),
 136     BOOST_VARIANT_ENUM_PARAMS(typename T2)
 137 >
 138 struct disjoint<
 139     boost::variant<BOOST_VARIANT_ENUM_PARAMS(T1)>,
 140     boost::variant<BOOST_VARIANT_ENUM_PARAMS(T2)>
 141 >
 142 {
 143     struct visitor: boost::static_visitor<bool>
 144     {
 145         template <typename Geometry1, typename Geometry2>
 146         bool operator()(Geometry1 const& geometry1,
 147                         Geometry2 const& geometry2) const
 148         {
 149             return disjoint<Geometry1, Geometry2>::apply(geometry1, geometry2);
 150         }
 151     };
 152
 153     static inline bool
 154     apply(boost::variant<BOOST_VARIANT_ENUM_PARAMS(T1)> const& geometry1,
 155           boost::variant<BOOST_VARIANT_ENUM_PARAMS(T2)> const& geometry2)
 156     {
 157         return boost::apply_visitor(visitor(), geometry1, geometry2);
 158     }
 159 };
 160
 161 } // namespace resolve_variant
 162
 163
 164
 165 /*!
 166 \brief \brief_check2{are disjoint}
 167 \ingroup disjoint
 168 \tparam Geometry1 \tparam_geometry
 169 \tparam Geometry2 \tparam_geometry
 170 \param geometry1 \param_geometry
 171 \param geometry2 \param_geometry
 172 \return \return_check2{are disjoint}
 173
 174 \qbk{[include reference/algorithms/disjoint.qbk]}
 175 */
 176 template <typename Geometry1, typename Geometry2>
 177 inline bool disjoint(Geometry1 const& geometry1,
 178                      Geometry2 const& geometry2)
 179 {
 180     return resolve_variant::disjoint<Geometry1, Geometry2>::apply(geometry1, geometry2);
 181 }
 182
 183
 184 }} // namespace boost::geometry
 185
 186
 187 #endif // BOOST_GEOMETRY_ALGORITHMS_DETAIL_DISJOINT_INTERFACE_HPP