]>
Commit | Line | Data |
---|---|---|
7c673cae FG |
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 |