From 31f271b88c1c2fcb88b3ee39dc527decca5aa1e0 Mon Sep 17 00:00:00 2001 From: Efi Fogel Date: Mon, 17 Feb 2025 10:17:11 +0200 Subject: [PATCH] Added a precondition for merge_edge(e1, e2) that requires that two halfedges have the same direction. --- .../doc/Arrangement_on_surface_2/CGAL/Arrangement_on_surface_2.h | 1 + 1 file changed, 1 insertion(+) diff --git a/Arrangement_on_surface_2/doc/Arrangement_on_surface_2/CGAL/Arrangement_on_surface_2.h b/Arrangement_on_surface_2/doc/Arrangement_on_surface_2/CGAL/Arrangement_on_surface_2.h index d4c30698e16..a900bd3f6e7 100644 --- a/Arrangement_on_surface_2/doc/Arrangement_on_surface_2/CGAL/Arrangement_on_surface_2.h +++ b/Arrangement_on_surface_2/doc/Arrangement_on_surface_2/CGAL/Arrangement_on_surface_2.h @@ -973,6 +973,7 @@ public: * u_1\f$ to \f$ u_2\f$. * \pre `e1` and `e2` share a common end-vertex, such that the two other * end-vertices of the two edges are associated with `c`'s endpoints. + * \pre `e1` and `e2` have the same direction. */ Halfedge_handle merge_edge(Halfedge_handle e1, Halfedge_handle e2,