CGAL 6.1.2 - 2D Arrangements: CGAL::Arr_trapezoid_ric_point_location< Arrangement > Class Template Reference

CGAL 6.1.2 - 2D Arrangements

Loading...
Searching...
No Matches
List of all members
CGAL::Arr_trapezoid_ric_point_location< Arrangement > Class Template Reference
Reference Manual » Point Location

`#include <CGAL/Arr_trapezoid_ric_point_location.h>`

## Definition

template<typename Arrangement>
class CGAL::Arr_trapezoid_ric_point_location< Arrangement >

The `Arr_trapezoid_ric_point_location` class implements the incremental randomized algorithm introduced by Mulmuley [11] as presented by Seidel [13] (see also [[5] Chapter 6). It subdivides each arrangement face to pseudo-trapezoidal cells, each of constant complexity, and constructs and maintains a linear-size 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 [10]. Therefore attaching a trapezoidal point-location object to an existing arrangement may incur some overhead in running times. In addition, the point-location object needs to keep its auxiliary data structures up-to-date as the arrangement goes through structural changes. It is therefore recommended to use this point-location 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.

Is model of
  `AosPointLocation_2`
  `AosVerticalRayShoot_2`

See also
  `AosPointLocation_2`
  `AosVerticalRayShoot_2`
  `CGAL::Arr_point_location_result<Arrangement>`

Examples
  Arrangement_on_surface_2/curve_history.cpp, and Arrangement_on_surface_2/vertical_ray_shooting.cpp.

## 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.
| Arr_trapezoid_ric_point_location (const Arrangement &arr, bool with_guarantees=true)
| constructs a point location search structure for the given arrangement.

## 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.

## Constructor & Destructor Documentation

## ◆ Arr_trapezoid_ric_point_location() [1/2]

template<typename Arrangement >

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.

## ◆ Arr_trapezoid_ric_point_location() [2/2]

template<typename Arrangement >

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.