songsenand
/
cgal
mirror of https://github.com/CGAL/cgal
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

fixed a wrong assertion

This commit is contained in:
Baruch Zukerman 2006-06-18 10:08:16 +00:00
parent 94bb959f7e
commit 813af79ce1
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
Arrangement_2/include/CGAL/Arr_point_location/Arr_batched_point_location_visitor.h
View File

@ -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;