FM / is_valid

/usr/include/boost/geometry/algorithms/detail/is_valid/

/usr/include/boost/geometry/algorithms/detail/is_valid

Name	Size	Mode	Actions
box.hpp	3050	0644	edit dl rm
complement_graph.hpp	6879	0644	edit dl rm
debug_complement_graph.hpp	2227	0644	edit dl rm
debug_print_turns.hpp	2244	0644	edit dl rm
debug_validity_phase.hpp	1837	0644	edit dl rm
has_duplicates.hpp	2215	0644	edit dl rm
has_invalid_coordinate.hpp	4300	0644	edit dl rm
has_spikes.hpp	6250	0644	edit dl rm
has_valid_self_turns.hpp	3884	0644	edit dl rm
implementation.hpp	951	0644	edit dl rm
interface.hpp	9070	0644	edit dl rm
is_acceptable_turn.hpp	4308	0644	edit dl rm
linear.hpp	5617	0644	edit dl rm
multipolygon.hpp	13475	0644	edit dl rm
pointlike.hpp	2639	0644	edit dl rm
polygon.hpp	18446	0644	edit dl rm
ring.hpp	7760	0644	edit dl rm
segment.hpp	2565	0644	edit dl rm

Edit: /usr/include/boost/geometry/algorithms/detail/is_valid/segment.hpp (2565B)

// Boost.Geometry (aka GGL, Generic Geometry Library)

// Contributed and/or modified by Menelaos Karavelas, on behalf of Oracle
// Contributed and/or modified by Adam Wulkiewicz, on behalf of Oracle

// Licensed under the Boost Software License version 1.0.
// http://www.boost.org/users/license.html

#ifndef BOOST_GEOMETRY_ALGORITHMS_DETAIL_IS_VALID_SEGMENT_HPP
#define BOOST_GEOMETRY_ALGORITHMS_DETAIL_IS_VALID_SEGMENT_HPP

#include <boost/core/ignore_unused.hpp>

#include <boost/geometry/core/point_type.hpp>
#include <boost/geometry/core/tags.hpp>

#include <boost/geometry/algorithms/assign.hpp>
#include <boost/geometry/algorithms/validity_failure_type.hpp>
#include <boost/geometry/algorithms/detail/equals/point_point.hpp>
#include <boost/geometry/algorithms/detail/is_valid/has_invalid_coordinate.hpp>
#include <boost/geometry/algorithms/dispatch/is_valid.hpp>

namespace boost { namespace geometry
{

#ifndef DOXYGEN_NO_DISPATCH
namespace dispatch
{

// A segment is a curve.
// A curve is simple if it does not pass through the same point twice,
// with the possible exception of its two endpoints
// A curve is 1-dimensional, hence we have to check is the two
// endpoints of the segment coincide, since in this case it is
// 0-dimensional.
//
// Reference: OGC 06-103r4 (6.1.6.1)
template <typename Segment>
struct is_valid<Segment, segment_tag>
{
    template <typename VisitPolicy, typename Strategy>
    static inline bool apply(Segment const& segment, VisitPolicy& visitor, Strategy const&)
    {
        typedef typename Strategy::equals_point_point_strategy_type eq_pp_strategy_type;

boost::ignore_unused(visitor);

typename point_type<Segment>::type p[2];
        detail::assign_point_from_index<0>(segment, p[0]);
        detail::assign_point_from_index<1>(segment, p[1]);

if (detail::is_valid::has_invalid_coordinate
                <
                    Segment
                >::apply(segment, visitor))
        {
            return false;
        }
        else if (! geometry::detail::equals::equals_point_point(
                        p[0], p[1], eq_pp_strategy_type()))
        {
            return visitor.template apply<no_failure>();
        }
        else
        {
            return
                visitor.template apply<failure_wrong_topological_dimension>();
        }
    }
};

} // namespace dispatch
#endif // DOXYGEN_NO_DISPATCH

}} // namespace boost::geometry

#endif // BOOST_GEOMETRY_ALGORITHMS_DETAIL_IS_VALID_SEGMENT_HPP

// Boost.Geometry (aka GGL, Generic Geometry Library) // Copyright (c) 2014-2019, Oracle and/or its affiliates. // Contributed and/or modified by Menelaos Karavelas, on behalf of Oracle // Contributed and/or modified by Adam Wulkiewicz, on behalf of Oracle // Licensed under the Boost Software License version 1.0. // http://www.boost.org/users/license.html #ifndef BOOST_GEOMETRY_ALGORITHMS_DETAIL_IS_VALID_SEGMENT_HPP #define BOOST_GEOMETRY_ALGORITHMS_DETAIL_IS_VALID_SEGMENT_HPP #include #include #include #include #include #include #include #include namespace boost { namespace geometry { #ifndef DOXYGEN_NO_DISPATCH namespace dispatch { // A segment is a curve. // A curve is simple if it does not pass through the same point twice, // with the possible exception of its two endpoints // A curve is 1-dimensional, hence we have to check is the two // endpoints of the segment coincide, since in this case it is // 0-dimensional. // // Reference: OGC 06-103r4 (6.1.6.1) template struct is_valid { template static inline bool apply(Segment const& segment, VisitPolicy& visitor, Strategy const&) { typedef typename Strategy::equals_point_point_strategy_type eq_pp_strategy_type; boost::ignore_unused(visitor); typename point_type::type p[2]; detail::assign_point_from_index<0>(segment, p[0]); detail::assign_point_from_index<1>(segment, p[1]); if (detail::is_valid::has_invalid_coordinate < Segment >::apply(segment, visitor)) { return false; } else if (! geometry::detail::equals::equals_point_point( p[0], p[1], eq_pp_strategy_type())) { return visitor.template apply(); } else { return visitor.template apply(); } } }; } // namespace dispatch #endif // DOXYGEN_NO_DISPATCH }} // namespace boost::geometry #endif // BOOST_GEOMETRY_ALGORITHMS_DETAIL_IS_VALID_SEGMENT_HPP