From ccb8b0533f3a35b53fed94661f7bfb2420bb67d4 Mon Sep 17 00:00:00 2001 From: Laurent Rineau Date: Thu, 9 Mar 2023 12:57:36 +0100 Subject: [PATCH] a new assertion about cavity triangulations --- .../include/CGAL/Constrained_Delaunay_triangulation_3.h | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/Triangulation_3/include/CGAL/Constrained_Delaunay_triangulation_3.h b/Triangulation_3/include/CGAL/Constrained_Delaunay_triangulation_3.h index f59ca0006a3..4701e09df77 100644 --- a/Triangulation_3/include/CGAL/Constrained_Delaunay_triangulation_3.h +++ b/Triangulation_3/include/CGAL/Constrained_Delaunay_triangulation_3.h @@ -984,6 +984,12 @@ private: } } } + CGAL_assertion(std::all_of(facets_of_cavity.begin(), facets_of_cavity.end(), [&](const auto& f) { + const auto [v0, v1, v2] = this->make_vertex_triple(f); + Cell_handle c; + int i, j, k; + return cavity_triangulation.is_facet(vertex_map[v0], vertex_map[v1], vertex_map[v2], c, i, j, k); + })); return cavity_triangulation; }