From e5247dda4cbdb4b42b79d7f701d937b8d6fd78e3 Mon Sep 17 00:00:00 2001 From: Panagiotis Cheilaris Date: Sat, 12 Apr 2014 19:36:33 +0200 Subject: [PATCH] removed too-strong assertions in infinite edge cf This fixes an assertion failure for the input vbc1a.cin: s 60 20 60 220 p 40 160 p 30 50 p 40 50 Signed-off-by: Panagiotis Cheilaris --- .../Infinite_edge_interior_conflict_C2.h | 10 ---------- 1 file changed, 10 deletions(-) diff --git a/Segment_Delaunay_graph_Linf_2/include/CGAL/Segment_Delaunay_graph_Linf_2/Infinite_edge_interior_conflict_C2.h b/Segment_Delaunay_graph_Linf_2/include/CGAL/Segment_Delaunay_graph_Linf_2/Infinite_edge_interior_conflict_C2.h index eac895070b7..6f33d4f094f 100644 --- a/Segment_Delaunay_graph_Linf_2/include/CGAL/Segment_Delaunay_graph_Linf_2/Infinite_edge_interior_conflict_C2.h +++ b/Segment_Delaunay_graph_Linf_2/include/CGAL/Segment_Delaunay_graph_Linf_2/Infinite_edge_interior_conflict_C2.h @@ -603,16 +603,6 @@ public: std::cout << "debug infinite-edge-int-cf special POS" << std::endl;); if (s.is_point() and r.is_point()) { - // philaris: I assert that sqt and rqt are monotone - - CGAL_assertion( - or_linf(s.point(), q.point(), t.point()) == - DEGENERATE ); - - CGAL_assertion( - or_linf(r.point(), q.point(), t.point()) == - DEGENERATE ); - if ((bounded_side_of_bbox( t.point(), s.point(), q.point()) == ON_BOUNDED_SIDE) and