123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172 |
- // Boost.Geometry (aka GGL, Generic Geometry Library)
- // Copyright (c) 2007-2012 Barend Gehrels, Amsterdam, the Netherlands.
- // This file was modified by Oracle on 2018.
- // Modifications copyright (c) 2018 Oracle and/or its affiliates.
- // Contributed and/or modified by Adam Wulkiewicz, on behalf of Oracle
- // Use, modification and distribution is subject to the Boost Software License,
- // Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
- // http://www.boost.org/LICENSE_1_0.txt)
- #ifndef BOOST_GEOMETRY_ALGORITHMS_DETAIL_OVERLAY_CHECK_ENRICH_HPP
- #define BOOST_GEOMETRY_ALGORITHMS_DETAIL_OVERLAY_CHECK_ENRICH_HPP
- #ifdef BOOST_GEOMETRY_DEBUG_ENRICH
- #include <iostream>
- #endif // BOOST_GEOMETRY_DEBUG_ENRICH
- #include <cstddef>
- #include <vector>
- #include <boost/range/begin.hpp>
- #include <boost/range/end.hpp>
- #include <boost/range/value_type.hpp>
- #include <boost/geometry/algorithms/detail/overlay/overlay_type.hpp>
- namespace boost { namespace geometry
- {
- #ifndef DOXYGEN_NO_DETAIL
- namespace detail { namespace overlay
- {
- template<typename Turn>
- struct meta_turn
- {
- int index;
- Turn const* turn;
- bool handled[2];
- inline meta_turn(int i, Turn const& t)
- : index(i), turn(&t)
- {
- handled[0] = false;
- handled[1] = false;
- }
- };
- template <typename MetaTurn>
- inline void display(MetaTurn const& meta_turn, const char* reason = "")
- {
- #ifdef BOOST_GEOMETRY_DEBUG_ENRICH
- std::cout << meta_turn.index
- << "\tMethods: " << method_char(meta_turn.turn->method)
- << " operations: " << operation_char(meta_turn.turn->operations[0].operation)
- << operation_char(meta_turn.turn->operations[1].operation)
- << " travels to " << meta_turn.turn->operations[0].enriched.travels_to_ip_index
- << " and " << meta_turn.turn->operations[1].enriched.travels_to_ip_index
- //<< " -> " << op_index
- << " " << reason
- << std::endl;
- #endif
- }
- template <typename MetaTurns, typename MetaTurn>
- inline void check_detailed(MetaTurns& meta_turns, MetaTurn const& meta_turn,
- int op_index, int cycle, int start, operation_type for_operation,
- bool& error)
- {
- display(meta_turn);
- int const ip_index = meta_turn.turn->operations[op_index].enriched.travels_to_ip_index;
- if (ip_index >= 0)
- {
- bool found = false;
- if (ip_index == start)
- {
- display(meta_turns[ip_index], " FINISH");
- return;
- }
- // check on continuing, or on same-operation-on-same-geometry
- if (! meta_turns[ip_index].handled[op_index]
- && (meta_turns[ip_index].turn->operations[op_index].operation == operation_continue
- || meta_turns[ip_index].turn->operations[op_index].operation == for_operation)
- )
- {
- meta_turns[ip_index].handled[op_index] = true;
- check_detailed(meta_turns, meta_turns[ip_index], op_index, cycle, start, for_operation, error);
- found = true;
- }
- // check on other geometry
- if (! found)
- {
- int const other_index = 1 - op_index;
- if (! meta_turns[ip_index].handled[other_index]
- && meta_turns[ip_index].turn->operations[other_index].operation == for_operation)
- {
- meta_turns[ip_index].handled[other_index] = true;
- check_detailed(meta_turns, meta_turns[ip_index], other_index, cycle, start, for_operation, error);
- found = true;
- }
- }
- if (! found)
- {
- display(meta_turns[ip_index], " STOP");
- error = true;
- #ifndef BOOST_GEOMETRY_DEBUG_ENRICH
- //std::cout << " STOP";
- #endif
- }
- }
- }
- template <typename TurnPoints>
- inline bool check_graph(TurnPoints& turn_points, operation_type for_operation)
- {
- typedef typename boost::range_value<TurnPoints>::type turn_point_type;
- bool error = false;
- std::vector<meta_turn<turn_point_type> > meta_turns;
- for_each_with_index(turn_points, [&](std::size_t index, auto const& point)
- {
- meta_turns.push_back(meta_turn<turn_point_type>(index, point));
- });
- int cycle = 0;
- for (auto& meta_turn : meta_turns)
- {
- if (! (meta_turn.turn->blocked() || meta_turn.turn->discarded))
- {
- for (int i = 0 ; i < 2; i++)
- {
- if (! meta_turn.handled[i]
- && meta_turn.turn->operations[i].operation == for_operation)
- {
- #ifdef BOOST_GEOMETRY_DEBUG_ENRICH
- std::cout << "CYCLE " << cycle << std::endl;
- #endif
- meta_turn.handled[i] = true;
- check_detailed(meta_turns, meta_turn, i, cycle++, meta_turn.index, for_operation, error);
- #ifdef BOOST_GEOMETRY_DEBUG_ENRICH
- std::cout <<" END CYCLE " << meta_turn.index << std::endl;
- #endif
- }
- }
- }
- }
- return error;
- }
- }} // namespace detail::overlay
- #endif //DOXYGEN_NO_DETAIL
- }} // namespace boost::geometry
- #endif // BOOST_GEOMETRY_ALGORITHMS_DETAIL_OVERLAY_CHECK_ENRICH_HPP
|