CGAL 4.13  2D Arrangements

#include <CGAL/Arr_trapezoid_ric_point_location.h>
The Arr_trapezoid_ric_point_location
class implements the incremental randomized algorithm introduced by Mulmuley [8] as presented by Seidel [11] (see also [[3] Chapter 6). It subdivides each arrangement face to pseudotrapezoidal cells, each of constant complexity, and constructs and maintains a linearsize search structure on top of these cells, such that each query can be answered in \( O(\log n)\) time, where \( n\) is the complexity of the arrangement.
Constructing the search structures takes \( O(n \log n)\) expected time and may require a small number of rebuilds [7]. Therefore attaching a trapezoidal pointlocation object to an existing arrangement may incur some overhead in running times. In addition, the pointlocation object needs to keep its auxiliary data structures uptodate as the arrangement goes through structural changes. It is therefore recommended to use this pointlocation strategy for static arrangements (or arrangement that do not alter frequently), and when the number of issued queries is relatively large.
This strategy supports arbitrary subdivisions, including unbounded ones.
Creation  
Arr_trapezoid_ric_point_location (bool with_guarantees=true)  
If with_guarantees is set to true, the construction performs rebuilds in order to guarantee a resulting structure with linear size and logarithmic query time. More...  
Arr_trapezoid_ric_point_location (const Arrangement &arr, bool with_guarantees=true)  
Constructs a point location search structure for the given arrangement. More...  
Modifiers  
void  with_guarantees (bool with_guarantees) 
If with_guarantees is set to true, the structure will guarantee linear size and logarithmic query time, that is, this function may cause a reconstruction of the data structure.  
CGAL::Arr_trapezoid_ric_point_location< Arrangement >::Arr_trapezoid_ric_point_location  (  bool  with_guarantees = true  ) 
If with_guarantees is set to true, the construction performs rebuilds in order to guarantee a resulting structure with linear size and logarithmic query time.
Otherwise the structure has expected linear size and expected logarithmic query time.
CGAL::Arr_trapezoid_ric_point_location< Arrangement >::Arr_trapezoid_ric_point_location  (  const Arrangement &  arr, 
bool  with_guarantees = true 

) 
Constructs a point location search structure for the given arrangement.
If with_guarantees is set to true, the construction performs rebuilds in order to guarantee a resulting structure with linear size and logarithmic query time. Otherwise the structure has expected linear size and expected logarithmic query time.