[Bf-blender-cvs] [d75c86429fc] newboolean: Checking for PWN.

[Howard Trickey]

Commit: d75c86429fc1f5a601886c8c9adc7c8c82e10b08
Author: Howard Trickey
Date:   Wed Aug 12 07:35:48 2020 -0400
Branches: newboolean
https://developer.blender.org/rBd75c86429fc1f5a601886c8c9adc7c8c82e10b08

Checking for PWN.

The current code is only supposed to work if the input meshes
are "piecewise constant winding number" (PWN). Added a check
to see if this is true about the inputs.

===================================================================

M	source/blender/blenlib/intern/boolean.cc

===================================================================

diff --git a/source/blender/blenlib/intern/boolean.cc b/source/blender/blenlib/intern/boolean.cc
index 708252f864d..8b845325b17 100644
--- a/source/blender/blenlib/intern/boolean.cc
+++ b/source/blender/blenlib/intern/boolean.cc
@@ -157,6 +157,11 @@ class TriMeshTopology {
   {
     return vert_edges_.lookup(v);
   }
+
+  Map<Edge, Vector<int> *>::ItemIterator edge_tri_map_items() const
+  {
+    return edge_tri_.items();
+  }
 };
 
 TriMeshTopology::TriMeshTopology(const Mesh &tm)
@@ -1231,6 +1236,52 @@ static bool patch_cell_graph_ok(const CellsInfo &cinfo, const PatchesInfo &pinfo
   return true;
 }
 
+/* Is trimesh tm PWN ("piecewise constant winding number")?
+ * See Zhou et al. paper for exact definition, but roughly
+ * means that the faces connect so as to form closed volumes.
+ * The actual definition says that if you calculate the
+ * generalized winding number of every point not exactly on
+ * the mesh, it will always be an integer.
+ * Necessary (but not sufficient) conditions that a mesh be PWN:
+ *    No edges with a non-zero sum of incident face directions.
+ * I think that cases like Klein bottles are likly to satisfy
+ * this without being PWN. So this routine will be only
+ * approximately right.
+ */
+static bool is_pwn(const Mesh &tm, const TriMeshTopology &tmtopo)
+{
+  constexpr int dbg_level = 0;
+  for (auto item : tmtopo.edge_tri_map_items()) {
+    const Edge &edge = item.key;
+    int tot_orient = 0;
+    /* For each face t attached to edge, add +1 if the edge
+     * is positively in t, and -1 if negatively in t.
+     */
+    for (int t : *item.value) {
+      const Face &face = *tm.face(t);
+      BLI_assert(face.size() == 3);
+      for (int i : face.index_range()) {
+        if (face[i] == edge.v0()) {
+          if (face[(i + 1) % 3] == edge.v1()) {
+            ++tot_orient;
+          }
+          else {
+            BLI_assert(face[(i + 3 - 1) % 3] == edge.v1());
+            --tot_orient;
+          }
+        }
+      }
+    }
+    if (tot_orient != 0) {
+      if (dbg_level > 0) {
+        std::cout << "edge causing non-pwn: " << edge << "\n";
+      }
+      return false;
+    }
+  }
+  return true;
+}
+
 /* Find which of the cells around edge e contains point p.
  * Do this by inserting a dummy triangle containing v and sorting the
  * triangles around the edge to find out where in the sort order
@@ -2941,6 +2992,9 @@ Mesh boolean_trimesh(Mesh &tm_in,
   }
   auto si_shape_fn = [shape_fn, tm_si](int t) { return shape_fn(tm_si.face(t)->orig); };
   TriMeshTopology tm_si_topo(tm_si);
+  if (!is_pwn(tm_si, tm_si_topo)) {
+    std::cout << "Input is not PWN, boolean may not work\n";
+  }
   PatchesInfo pinfo = find_patches(tm_si, tm_si_topo);
   CellsInfo cinfo = find_cells(tm_si, tm_si_topo, pinfo);
   finish_patch_cell_graph(tm_si, cinfo, pinfo, tm_si_topo, arena);