Added a precondition for merge_edge(e1, e2) that requires that two halfedges have the same direction.

This commit is contained in:
Efi Fogel 2025-02-17 10:17:11 +02:00
parent 06b511cc65
commit 31f271b88c
1 changed files with 1 additions and 0 deletions

View File

@ -973,6 +973,7 @@ public:
* u_1\f$ to \f$ u_2\f$. * u_1\f$ to \f$ u_2\f$.
* \pre `e1` and `e2` share a common end-vertex, such that the two other * \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. * 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 merge_edge(Halfedge_handle e1,
Halfedge_handle e2, Halfedge_handle e2,