Definition

The concept Periodic_3RegularTriangulationTraits_3 is the first template parameter of the class CGAL::Periodic_3_regular_triangulation_3. It refines the concept RegularTriangulationTraits_3 from the CGAL 3D Triangulations. It redefines the geometric objects, predicates and constructions to work with point-offset pairs. In most cases the offsets will be (0,0,0) and the predicates from RegularTriangulationTraits_3 can be used directly. For efficiency reasons we maintain for each functor the version without offsets.

Refines:

Periodic_3TriangulationTraits_3

RegularTriangulationTraits_3

Has Models:: CGAL::Periodic_3_regular_triangulation_traits_3

In addition to the requirements described for the traits class RegularTriangulationTraits_3, the geometric traits class of a periodic regular triangulation must fulfill the following requirements.

Note: The optional types must be provided in any case, however they can be replaced by dummy types if the respective functions are not used.

typedef unspecified_type	Power_side_of_oriented_power_sphere_3
	A predicate object that must provide the function operators. More...

typedef unspecified_type	Compare_weighted_squared_radius_3
	A predicate object that must provide the function operators: More...

typedef unspecified_type	Compare_power_distance_3
	A predicate object, model of `ComparePowerDistance_3`, that must provide the function operator. More...

When vertex removal is used, the traits class must in addition provide the following predicate object
typedef unspecified_type	Coplanar_orientation_3
	A predicate object that must provide the function operators: More...

When `is_Gabriel` functions are used, the traits class must in addition provide the following predicate object:
typedef unspecified_type	Power_side_of_bounded_power_sphere_3
	A predicate object that must provide the function operator. More...

When the dual operations are used, the traits class must in addition provide the following constructor object:
typedef unspecified_type	Construct_weighted_circumcenter_3
	A constructor object that must provide the function operator. More...

Operations
The following functions give access to the predicate and construction objects:
Power_side_of_oriented_power_sphere_3	power_side_of_oriented_power_sphere_3_object ()

Compare_weighted_squared_radius_3	compare_weighted_squared_radius_3_object ()

The following function must be provided if vertex removal is used; otherwise dummy functions can be provided.
Coplanar_orientation_3	coplanar_3_orientation_3_object ()

The following function must be provided only if the methods of `Periodic_3_regular_triangulation_3` returning elements of the Voronoi diagram are used; otherwise a dummy function can be provided.
Construct_weighted_circumcenter_3	construct_weighted_circumcenter_3_object ()

Member Typedef Documentation

◆ Compare_power_distance_3

typedef unspecified_type Periodic_3RegularTriangulationTraits_3::Compare_power_distance_3

A predicate object, model of ComparePowerDistance_3, that must provide the function operator.

Comparison_result operator()(Point_3 p, Weighted_point_3 q, Weighted_point_3 r, Periodic_3_offset_3 o_p, Periodic_3_offset_3 o_q, Periodic_3_offset_3 o_r),

which compares the power distance between (p,o_p) and (q,o_q) to the power distance between (p,o_p) and (r,o_r).

Note: This predicate is required if a call to nearest_power_vertex() or nearest_power_vertex_in_cell() is issued.

◆ Compare_weighted_squared_radius_3

typedef unspecified_type Periodic_3RegularTriangulationTraits_3::Compare_weighted_squared_radius_3

A predicate object that must provide the function operators:

Orientation operator()(Weighted_point_3 p, Weighted_point_3 q, Weighted_point_3 r, Weighted_point_3 s, FT w),

which compares the weight of the smallest sphere orthogonal to the input weighted points with the input weight w and returns a SMALLER, EQUAL, or LARGER.

Precondition: p, q, r, and s lie inside the domain.

◆ Construct_weighted_circumcenter_3

typedef unspecified_type Periodic_3RegularTriangulationTraits_3::Construct_weighted_circumcenter_3

A constructor object that must provide the function operator.

Weighted_point_3 operator()(Weighted_point_3 p, Weighted_point_3 q, Weighted_point_3 r, Weighted_point_3 s, Periodic_3_offset_3 o_p, Periodic_3_offset_3 o_q, Periodic_3_offset_3 o_r, Periodic_3_offset_3 o_s),

which constructs the weighted circumcenter of four point-offset pairs.

Precondition: p, q, r, s lie inside the domain. p, q, r and s, as well as (p,o_p), (q,o_q), (r,o_r) and (s,o_s) must be non coplanar.

◆ Coplanar_orientation_3

typedef unspecified_type Periodic_3RegularTriangulationTraits_3::Coplanar_orientation_3

A predicate object that must provide the function operators:

Orientation operator()(Weighted_point_3 p, Weighted_point_3 q, Weighted_point_3 r),

which returns COLLINEAR, if the points are collinear; otherwise it must return a consistent orientation for any three points chosen in a same plane and

Orientation operator()(Weighted_point_3 p, Weighted_point_3 q, Weighted_point_3 r, Periodic_3_offset_3 o_p, Periodic_3_offset_3 o_q, Periodic_3_offset_3 o_r),

which is the same for point-offset pairs.

Precondition: p, q, r lie inside the domain.

◆ Power_side_of_bounded_power_sphere_3

typedef unspecified_type Periodic_3RegularTriangulationTraits_3::Power_side_of_bounded_power_sphere_3

A predicate object that must provide the function operator.

Bounded_side operator()(Weighted_point_3 p, Weighted_point_3 t, Periodic_3_offset_3 o_p, Periodic_3_offset_3 o_t),

which returns the sign of the power test of (t,o_t) with respect to the smallest sphere orthogonal to (p,o_p) (which is the sphere with center (p,o_p) and squared radius -w_p with w_p the weight of p),

Bounded_side operator()(Weighted_point_3 p, Weighted_point_3 q, Weighted_point_3 t, Periodic_3_offset_3 o_p, Periodic_3_offset_3 o_q, Periodic_3_offset_3 o_t),

which returns the sign of the power test of (t,o_t) with respect to the smallest sphere orthogonal to (p,o_p) and (q,o_q),

Bounded_side operator()(Weighted_point_3 p, Weighted_point_3 q, Weighted_point_3 r, Weighted_point_3 t, Periodic_3_offset_3 o_p, Periodic_3_offset_3 o_q, Periodic_3_offset_3 o_r, Periodic_3_offset_3 o_q),

which returns the sign of the power test of (t,o_t) with respect to the smallest sphere orthogonal to (p,o_p), (q,o_q), and (r,o_r).

◆ Power_side_of_oriented_power_sphere_3

typedef unspecified_type Periodic_3RegularTriangulationTraits_3::Power_side_of_oriented_power_sphere_3

A predicate object that must provide the function operators.

Oriented_side operator()(Weighted_point_3 p, Weighted_point_3 q, Weighted_point_3 r, Weighted_point_3 s, Weighted_point_3 t, Periodic_3_offset_3 o_p, Periodic_3_offset_3 o_q, Periodic_3_offset_3 o_r, Periodic_3_offset_3 o_s, Periodic_3_offset_3 o_t),

which determines the position of the point-offset pair (t,o_t) with respect to the power sphere of the point-offset pairs (p,o_p), (q,o_q), (r,o_r), (s,o_s).

Precondition: p, q, r, s, t lie inside the domain and p, q, r, s are not coplanar.

When vertex removal is used, the predicate must in addition provide the function operators

Oriented_side operator()(Weighted_point_3 p, Weighted_point_3 q, Weighted_point_3 r, Weighted_point_3 t, Periodic_3_offset_3 o_p, Periodic_3_offset_3 o_q, Periodic_3_offset_3 o_r, Periodic_3_offset_3 o_t),

which has a definition similar to the previous method, for coplanar points, with the power circle of p,q,r.

Precondition: p, q, r, t lie inside the domain, p, q, r are not collinear, and (p,o_p), (q,o_q), (r,o_r), (t,o_t) are coplanar.

Oriented_side operator()(Weighted_point_3 p, Weighted_point_3 q, Weighted_point_3 t, Periodic_3_offset_3 o_p, Periodic_3_offset_3 o_q, Periodic_3_offset_3 o_t),

which is the same for collinear points, and the power segment of (p,o_p) and (q,o_q),

Precondition: p, q, t lie inside the domain, p and q have different Bare_points, and (p,o_p), (q,o_q), (t,o_t) are collinear.

Oriented_side operator()(Weighted_point_3 p, Weighted_point_3 q, Periodic_3_offset_3 o_p, Periodic_3_offset_3 o_q),

which is the same for equal points, that is when (p,o_p) and (q,o_q) have equal coordinates, then it returns the comparison of the weights.

Precondition: p and q lie inside the domain and have equal Bare_points.