diff --git a/Mesh_3/doc/Mesh_3/CGAL/Mesh_triangulation_3.h b/Mesh_3/doc/Mesh_3/CGAL/Mesh_triangulation_3.h index e24f6e094cf..4b9b869b345 100644 --- a/Mesh_3/doc/Mesh_3/CGAL/Mesh_triangulation_3.h +++ b/Mesh_3/doc/Mesh_3/CGAL/Mesh_triangulation_3.h @@ -21,6 +21,16 @@ and defaults to `Mesh_vertex_base_3`. \tparam Cell_base must be a model of `MeshCellBase_3` or `Default` and defaults to `Compact_mesh_cell_base_3`. +\warning To improve the robustness of the meshing process, the input traits `Gt` + is wrapped with the traits class `Robust_weighted_circumcenter_filtered_traits_3`. + The class `Robust_weighted_circumcenter_filtered_traits_3` upgrades the functors + models of `Kernel::ConstructWeightedCircumcenter_3`, `Kernel::ComputeSquaredRadius_3`, + and `Kernel::ComputeSquaredRadiusSmallestOrthogonalSphere_3` that are + provided by `Gt` to use exact computations when the geometric configuration + is close to degenerate (e.g. almost coplanar points).
+ Users should therefore be aware that the traits class of the triangulation + will have type `Robust_weighted_circumcenter_filtered_traits_3`. + \sa `make_mesh_3()` \sa `Mesh_complex_3_in_triangulation_3` diff --git a/Triangulation_3/doc/Triangulation_3/CGAL/Robust_weighted_circumcenter_filtered_traits_3.h b/Triangulation_3/doc/Triangulation_3/CGAL/Robust_weighted_circumcenter_filtered_traits_3.h index f0f70ffe661..09ce16db886 100644 --- a/Triangulation_3/doc/Triangulation_3/CGAL/Robust_weighted_circumcenter_filtered_traits_3.h +++ b/Triangulation_3/doc/Triangulation_3/CGAL/Robust_weighted_circumcenter_filtered_traits_3.h @@ -6,11 +6,13 @@ namespace CGAL * * @class Robust_weighted_circumcenter_filtered_traits_3 * - * Overrides the kernel functors Construct_weighted_circumcenter_3, Compute_squared_radius_3, - * and Compute_squared_radius_smallest_orthogonal_sphere_3 with robust versions. - * - * Robustness is achieved by using exact computations if the geometric configuration - * is close to degenerate. + * Upgrades the functors models of `Kernel::ConstructWeightedCircumcenter_3`, + * `Kernel::ComputeSquaredRadius_3`, and `Kernel::ComputeSquaredRadiusSmallestOrthogonalSphere_3` + * that are provided by `K` with robust versions. This improved robustness + * is achieved by using exact computations if the geometric configuration + * is close to degenerate (e.g. almost coplanar points). The upgrade is completely + * invisible from an interface point of view as the class `Robust_weighted_circumcenter_filtered_traits_3` + * overrides the types and function objects associated with the basic versions. * * \tparam K must be a model of the `Kernel` concept. * @@ -18,7 +20,7 @@ namespace CGAL */ template class Robust_weighted_circumcenter_filtered_traits_3 - : public K + : public K { public: /// \name Types