\( \newcommand{\E}{\mathrm{E}} \) \( \newcommand{\A}{\mathrm{A}} \) \( \newcommand{\R}{\mathrm{R}} \) \( \newcommand{\N}{\mathrm{N}} \) \( \newcommand{\Q}{\mathrm{Q}} \) \( \newcommand{\Z}{\mathrm{Z}} \) \( \def\ccSum #1#2#3{ \sum_{#1}^{#2}{#3} } \def\ccProd #1#2#3{ \sum_{#1}^{#2}{#3} }\)
CGAL 4.14.2 - 2D Hyperbolic Delaunay Triangulations
HyperbolicDelaunayTriangulationTraits_2 Concept Reference

Definition

Refines:
DelaunayTriangulationTraits_2

The concept HyperbolicDelaunayTriangulationTraits_2 describes the set of requirements to be fulfilled by any class used to instantiate the first template parameter of the class CGAL::Hyperbolic_Delaunay_triangulation_2<Traits, Tds>. It defines the geometric objects (points, segments...) forming the triangulation together with geometric predicates and constructions on these objects.

This concept refines DelaunayTriangulationTraits_2 because the class CGAL::Hyperbolic_Delaunay_triangulation_2 internally relies on the class CGAL::Delaunay_triangulation_2.

Has Models:

CGAL::Hyperbolic_Delaunay_triangulation_traits_2

CGAL::Hyperbolic_Delaunay_triangulation_CK_traits_2

Types

typedef unspecified_type FT
 Field number type.
 
typedef unspecified_type Hyperbolic_point_2
 Represents a point in the Poincaré disk or on the (unit) circle at infinity.
 
typedef unspecified_type Hyperbolic_Voronoi_point_2
 Represents the dual object of a triangle in the hyperbolic Delaunay triangulation. More...
 
typedef unspecified_type Hyperbolic_segment_2
 Represents a hyperbolic segment defined by two points. More...
 
typedef unspecified_type Hyperbolic_triangle_2
 Represents a triangle in the hyperbolic plane defined by three hyperbolic points.
 

Predicate Types

typedef unspecified_type Side_of_oriented_circle_2
 A predicate object. More...
 
typedef unspecified_type Side_of_oriented_hyperbolic_segment_2
 A predicate object. More...
 
typedef unspecified_type Is_Delaunay_hyperbolic
 A predicate object. More...
 

Construction Types

typedef unspecified_type Construct_hyperbolic_segment_2
 A constructor object. More...
 
typedef unspecified_type Construct_hyperbolic_circumcenter_2
 A constructor object. More...
 
typedef unspecified_type Construct_hyperbolic_bisector_2
 A constructor object. More...
 

Operations

The following functions give access to the predicate objects.

Orientation_2 orientation_2_object ()
 
Side_of_oriented_circle_2 side_of_oriented_circle_2_object ()
 
Side_of_oriented_hyperbolic_segment_2 side_of_oriented_hyperbolic_segment_2_object ()
 
Is_Delaunay_hyperbolic is_Delaunay_hyperbolic_object ()
 

The following functions must be provided only if the methods of Hyperbolic_Delaunay_triangulation_2 that return elements of the Voronoi diagram are instantiated:

Construct_hyperbolic_segment_2 construct_hyperbolic_segment_2_object ()
 
Construct_hyperbolic_circumcenter_2 construct_hyperbolic_circumcenter_2_object ()
 
Construct_hyperbolic_bisector_2 construct_hyperbolic_bisector_2_object ()
 

Member Typedef Documentation

◆ Construct_hyperbolic_bisector_2

A constructor object.

Must provide the function operator

Hyperbolic_segment_2 operator()(Hyperbolic_point_2 p, Hyperbolic_point_2 q),

which constructs the hyperbolic bisector of two points p and q lying in the Poincaré disk. The endpoints of the resulting hyperbolic segment lie on the circle at infinity. It must also provide the function operator

Hyperbolic_segment_2 operator()(Hyperbolic_point_2 p, Hyperbolic_point_2 q, Hyperbolic_point_2 r),

where the points p, q, and r lie in the Poincaré disk. This overloaded version constructs the hyperbolic bisector of the segment [p,q] limited by the hyperbolic circumcenter of p, q, r on one side and the circle at infinity on the other. Moreover, it must provide the function operator

Hyperbolic_segment_2 operator()(Hyperbolic_point_2 p, Hyperbolic_point_2 q, Hyperbolic_point_2 r, Hyperbolic_point_2 s),

where the points p, q, r, and s lie in the Poincaré disk. This overloaded version constructs the hyperbolic bisector of the segment [p,q] limited by the hyperbolic circumcenter of p, q, r on one side, and the hyperbolic circumcenter of p, s, q on the other side.

◆ Construct_hyperbolic_circumcenter_2

A constructor object.

Must provide the function operator

Hyperbolic_Voronoi_point_2 operator()(Hyperbolic_point_2 p, Hyperbolic_point_2 q, Hyperbolic_point_2 r),

which constructs the hyperbolic circumcenter of the triangle with vertices p, q, and r.

◆ Construct_hyperbolic_segment_2

A constructor object.

Must provide the function operator

Hyperbolic_segment_2 operator()(Hyperbolic_point_2 p, Hyperbolic_point_2 q),

which constructs a hyperbolic segment from two points p and q. Note that p and q may also lie on the circle at infinity.

◆ Hyperbolic_segment_2

Represents a hyperbolic segment defined by two points.

In the Poincaré disk model, a hyperbolic segment is supported either by the Euclidean circle that passes through the two points and is perpendicular to the circle at infinity, or by the Euclidean line that passes through the two points and the origin. Abusively, we allow one or both endpoints of the segment to lie on the circle at infinity, so a hyperbolic segment can actually represent a hyperbolic ray or a hyperbolic line.

◆ Hyperbolic_Voronoi_point_2

Represents the dual object of a triangle in the hyperbolic Delaunay triangulation.

The dual of a Delaunay triangle is the hyperbolic center of the circle circumscribing it.

◆ Is_Delaunay_hyperbolic

A predicate object.

Must provide the function operator

bool operator()(Hyperbolic_point_2 p0, Hyperbolic_point_2 p1, Hyperbolic_point_2 p2),

which returns a boolean indicating whether the triangle defined by the points p0, p1, and p2 is hyperbolic (i.e., if its circumscribing disk is contained in the unit disk). It must also provide the function operator

bool operator() (Hyperbolic_point_2 p0, Hyperbolic_point_2 p1, Hyperbolic_point_2 p2, int& ind),

which returns whether the triangle is hyperbolic, and if not stores in ind the index of the non-hyperbolic edge of the triangle, as defined in [1]. The edge of the triangle opposite to pj for j = 0,1,2 is considered to have index j.

◆ Side_of_oriented_circle_2

A predicate object.

Must provide the function operator

Oriented_side operator()(Hyperbolic_point_2 p, Hyperbolic_point_2 q, Hyperbolic_point_2 r, Hyperbolic_point_2 t), which returns the position of the point t relative to the oriented circle defined by the points p, q, and r.

◆ Side_of_oriented_hyperbolic_segment_2

A predicate object.

Must provide the function operator

Oriented_side operator()(Hyperbolic_point_2 p, Hyperbolic_point_2 q, Hyperbolic_point_2 query), which returns the position of the point query relative to the oriented hyperbolic segment with vertices p and q.