summaryrefslogtreecommitdiffstats
path: root/src/2geom/intersection-graph.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'src/2geom/intersection-graph.cpp')
-rw-r--r--src/2geom/intersection-graph.cpp296
1 files changed, 296 insertions, 0 deletions
diff --git a/src/2geom/intersection-graph.cpp b/src/2geom/intersection-graph.cpp
new file mode 100644
index 000000000..abe462e3f
--- /dev/null
+++ b/src/2geom/intersection-graph.cpp
@@ -0,0 +1,296 @@
+/**
+ * \file
+ * \brief Intersection graph for Boolean operations
+ *//*
+ * Authors:
+ * Krzysztof KosiƄski <tweenk.pl@gmail.com>
+ *
+ * Copyright 2015 Authors
+ *
+ * This library is free software; you can redistribute it and/or
+ * modify it either under the terms of the GNU Lesser General Public
+ * License version 2.1 as published by the Free Software Foundation
+ * (the "LGPL") or, at your option, under the terms of the Mozilla
+ * Public License Version 1.1 (the "MPL"). If you do not alter this
+ * notice, a recipient may use your version of this file under either
+ * the MPL or the LGPL.
+ *
+ * You should have received a copy of the LGPL along with this library
+ * in the file COPYING-LGPL-2.1; if not, write to the Free Software
+ * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
+ * You should have received a copy of the MPL along with this library
+ * in the file COPYING-MPL-1.1
+ *
+ * The contents of this file are subject to the Mozilla Public License
+ * Version 1.1 (the "License"); you may not use this file except in
+ * compliance with the License. You may obtain a copy of the License at
+ * http://www.mozilla.org/MPL/
+ *
+ * This software is distributed on an "AS IS" basis, WITHOUT WARRANTY
+ * OF ANY KIND, either express or implied. See the LGPL or the MPL for
+ * the specific language governing rights and limitations.
+ */
+
+#include <2geom/intersection-graph.h>
+#include <2geom/path.h>
+#include <2geom/pathvector.h>
+#include <iostream>
+
+namespace Geom {
+
+struct IntersectionVertexLess {
+ bool operator()(IntersectionVertex const &a, IntersectionVertex const &b) const {
+ return a.pos < b.pos;
+ }
+};
+
+/** @class PathIntersectionGraph
+ * @brief Intermediate data for computing Boolean operations on paths.
+ *
+ * This class implements the Greiner-Hormann clipping algorithm,
+ * with improvements by Foster and Overfelt.
+ *
+ * @ingroup Paths
+ */
+
+PathIntersectionGraph::PathIntersectionGraph(PathVector const &a, PathVector const &b, Coord precision)
+ : _a(a)
+ , _b(b)
+{
+ if (a.empty() || b.empty()) return;
+
+ // all paths must be closed, otherwise we will miss some intersections
+ for (std::size_t i = 0; i < a.size(); ++i) {
+ _a[i].close();
+ }
+ for (std::size_t i = 0; i < b.size(); ++i) {
+ _b[i].close();
+ }
+
+ std::vector<PVIntersection> pxs = _a.intersect(_b, precision);
+ if (pxs.empty()) return;
+ if (pxs.size() % 2) return;
+
+ // prepare intersection lists for each path component
+ for (std::size_t i = 0; i < _a.size(); ++i) {
+ _xalists.push_back(new IntersectionList());
+ }
+ for (std::size_t i = 0; i < _b.size(); ++i) {
+ _xblists.push_back(new IntersectionList());
+ }
+
+ for (std::size_t i = 0; i < pxs.size(); ++i) {
+ IntersectionVertex *xa, *xb;
+ xa = new IntersectionVertex();
+ xb = new IntersectionVertex();
+ xa->processed = xb->processed = false;
+ xa->pos = pxs[i].first;
+ xb->pos = pxs[i].second;
+ xa->p = xb->p = pxs[i].point();
+ xa->neighbor = xb;
+ xb->neighbor = xa;
+ _xs.push_back(xa);
+ _xs.push_back(xb);
+ _xalists[xa->pos.path_index].push_back(*xa);
+ _xblists[xb->pos.path_index].push_back(*xb);
+ }
+
+ for (std::size_t i = 0; i < _xalists.size(); ++i) {
+ _xalists[i].sort(IntersectionVertexLess());
+ }
+ for (std::size_t i = 0; i < _xblists.size(); ++i) {
+ _xblists[i].sort(IntersectionVertexLess());
+ }
+
+ typedef IntersectionList::iterator Iter;
+
+ // determine in/out/on flags using winding
+ for (unsigned npv = 0; npv < 2; ++npv) {
+ boost::ptr_vector<IntersectionList> &ls = npv ? _xblists : _xalists;
+ PathVector const &pv = npv ? b : a;
+ PathVector const &other = npv ? a : b;
+
+ for (unsigned li = 0; li < ls.size(); ++li) {
+ for (Iter i = ls[li].begin(); i != ls[li].end(); ++i) {
+ Iter n = boost::next(i);
+ if (n == ls[li].end()) {
+ n = ls[li].begin();
+ }
+ std::size_t pi = i->pos.path_index;
+
+ PathInterval ival = forward_interval(i->pos, n->pos, pv[pi].size());
+ PathPosition mid = ival.inside(precision);
+
+ // TODO check for degenerate cases
+ // requires changes in the winding routine
+ int w = other.winding(pv[pi].pointAt(mid));
+ if (w % 2) {
+ i->next = POINT_INSIDE;
+ n->previous = POINT_INSIDE;
+ } else {
+ i->next = POINT_OUTSIDE;
+ n->previous = POINT_OUTSIDE;
+ }
+ }
+
+ // assign exit / entry flags
+ for (Iter i = ls[li].begin(); i != ls[li].end(); ++i) {
+ i->entry = ((i->next == POINT_INSIDE) && (i->previous == POINT_OUTSIDE));
+ }
+ }
+ }
+}
+
+PathVector PathIntersectionGraph::getUnion()
+{
+ PathVector result = _getResult(false, false);
+ _handleNonintersectingPaths(result, 0, false);
+ _handleNonintersectingPaths(result, 1, false);
+ return result;
+}
+
+PathVector PathIntersectionGraph::getIntersection()
+{
+ PathVector result = _getResult(true, true);
+ _handleNonintersectingPaths(result, 0, true);
+ _handleNonintersectingPaths(result, 1, true);
+ return result;
+}
+
+PathVector PathIntersectionGraph::_getResult(bool enter_a, bool enter_b)
+{
+ typedef IntersectionList::iterator Iter;
+ PathVector result;
+ if (_xs.empty()) return result;
+
+ // reset processed status
+ for (unsigned npv = 0; npv < 2; ++npv) {
+ boost::ptr_vector<IntersectionList> &ls = npv ? _xblists : _xalists;
+ for (std::size_t li = 0; li < ls.size(); ++li) {
+ for (Iter k = ls[li].begin(); k != ls[li].end(); ++k) {
+ k->processed = false;
+ }
+ }
+ }
+
+ unsigned n_processed = 0;
+
+ while (true) {
+ PathVector const *cur = &_a, *other = &_b;
+ boost::ptr_vector<IntersectionList> *lscur = &_xalists, *lsother = &_xblists;
+
+ // find unprocessed intersection
+ Iter i;
+ if (!_findUnprocessed(i)) break;
+
+ result.push_back(Path(i->p));
+ result.back().setStitching(true);
+
+ while (!i->processed) {
+ Iter prev = i;
+ std::size_t pi = i->pos.path_index;
+ // determine which direction to go
+ // union: always go outside
+ // intersection: always go inside
+ // a minus b: go inside in b, outside in a
+ // b minus a: go inside in a, outside in b
+ bool reverse = false;
+ if (cur == &_a) {
+ reverse = i->entry ^ enter_a;
+ } else {
+ reverse = i->entry ^ enter_b;
+ }
+
+ // get next intersection
+ if (reverse) {
+ if (i == (*lscur)[pi].begin()) {
+ i = (*lscur)[pi].end();
+ }
+ --i;
+ } else {
+ ++i;
+ if (i == (*lscur)[pi].end()) {
+ i = (*lscur)[pi].begin();
+ }
+ }
+
+ // append portion of path
+ PathInterval ival = PathInterval::from_direction(
+ prev->pos.asPathPosition(), i->pos.asPathPosition(),
+ reverse, (*cur)[pi].size());
+
+ (*cur)[pi].appendPortionTo(result.back(), ival, prev->p, i->p);
+
+ // mark both vertices as processed
+ prev->processed = true;
+ i->processed = true;
+ n_processed += 2;
+
+ // switch to the other path
+ i = (*lsother)[i->neighbor->pos.path_index].iterator_to(*i->neighbor);
+ std::swap(lscur, lsother);
+ std::swap(cur, other);
+ }
+
+ assert(!result.back().empty());
+ }
+
+ assert(n_processed == _xs.size());
+
+ return result;
+}
+
+void PathIntersectionGraph::_handleNonintersectingPaths(PathVector &result, int which, bool inside)
+{
+ /* Every component that has any intersections will be processed by _getResult.
+ * Here we take care of paths that don't have any intersections. They are either
+ * completely inside or completely outside the other pathvector. We test this by
+ * evaluating the winding rule at the initial point. If inside is true and
+ * the path is inside, we add it to the result.
+ */
+ boost::ptr_vector<IntersectionList> const &ls = which ? _xblists : _xalists;
+ PathVector const &cur = which ? _b : _a;
+ PathVector const &other = which ? _a : _b;
+
+ for (std::size_t i = 0; i < cur.size(); ++i) {
+ if (!ls.empty() && !ls[i].empty()) continue;
+
+ int w = other.winding(cur[i].initialPoint());
+ bool path_inside = w % 2 != 0;
+ if (path_inside == inside) {
+ result.push_back(cur[i]);
+ }
+ }
+}
+
+bool PathIntersectionGraph::_findUnprocessed(IntersectionList::iterator &result)
+{
+ typedef IntersectionList::iterator Iter;
+
+ Iter it;
+
+ for (std::size_t k = 0; k < _xalists.size(); ++k) {
+ it = _xalists[k].begin();
+ for (; it != _xalists[k].end(); ++it) {
+ if (!it->processed) {
+ result = it;
+ return true;
+ }
+ }
+ }
+
+ return false;
+}
+
+} // namespace Geom
+
+/*
+ Local Variables:
+ mode:c++
+ c-file-style:"stroustrup"
+ c-file-offsets:((innamespace . 0)(inline-open . 0)(case-label . +))
+ indent-tabs-mode:nil
+ fill-column:99
+ End:
+*/
+// vim: filetype=cpp:expandtab:shiftwidth=4:tabstop=8:softtabstop=4:encoding=utf-8:textwidth=99 :