From 813af79ce11e65c55ebe441e7b9a5ecca853f27f Mon Sep 17 00:00:00 2001 From: Baruch Zukerman Date: Sun, 18 Jun 2006 10:08:16 +0000 Subject: [PATCH] fixed a wrong assertion --- .../Arr_batched_point_location_visitor.h | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/Arrangement_2/include/CGAL/Arr_point_location/Arr_batched_point_location_visitor.h b/Arrangement_2/include/CGAL/Arr_point_location/Arr_batched_point_location_visitor.h index f32a571c3ca..29410828755 100644 --- a/Arrangement_2/include/CGAL/Arr_point_location/Arr_batched_point_location_visitor.h +++ b/Arrangement_2/include/CGAL/Arr_point_location/Arr_batched_point_location_visitor.h @@ -69,8 +69,10 @@ class Arr_batched_point_location_visitor : public Empty_visitor< Traits_ > if(m_top_fict->direction() == SMALLER) m_top_fict = m_top_fict->next()->twin(); - CGAL_assertion((m_top_fict->source()->infinite_in_x() == FINITE) && - (m_top_fict->source()->infinite_in_y() == PLUS_INFINITY)); + CGAL_assertion((m_top_fict->source() == + m_arr_access.top_right_fictitious_vertex()) || + (m_top_fict->source()->infinite_in_x() == FINITE) && + (m_top_fict->source()->infinite_in_y() == PLUS_INFINITY)); CGAL_assertion(m_top_fict->target() == m_arr_access.top_left_fictitious_vertex()); } @@ -84,7 +86,7 @@ class Arr_batched_point_location_visitor : public Empty_visitor< Traits_ > if(!event->is_finite()) { //its an event at infinity, we need to update m_top_fict in case its - //in Y=+00 (vertical curve or curve with vertical asymptote) + //in Y=+oo (vertical curve or curve with vertical asymptote) if(event->infinity_at_x() != FINITE) return true;