Faceset helper: check whether edge has been created

2026-08-10 17:58:20 +00:00 · 2018-12-03 12:36:30 +01:00
parent 4f8b430040
commit 7ed47dee67
1 changed files with 5 additions and 1 deletions
@@ -159,7 +159,11 @@ private:
 		}

 		bool edge(int A, int B, TopoDS_Edge& e) {
-			e = edges_[{A, B}];
+			auto it = edges_.find({A, B});
+			if (it == edges_.end()) {
+				return false;
+			}
+			e = it->second;
 			return true;
 		}