diff --git a/Kernel_23/doc/Kernel_23/CGAL/Dimension.h b/Kernel_23/doc/Kernel_23/CGAL/Dimension.h index 672a5f8acbe..24bd632afdc 100644 --- a/Kernel_23/doc/Kernel_23/CGAL/Dimension.h +++ b/Kernel_23/doc/Kernel_23/CGAL/Dimension.h @@ -38,7 +38,7 @@ public: /*! The dimension value as a compile-time -integral constant. It is implemented as `K::Dimension::type::value`. +integral constant. It is implemented as \link Dimension_tag::value K::Ambient_dimension::type::value \endlink. It exists only when the dimension is a compile-time constant. */ static const int value; @@ -51,7 +51,7 @@ static const int value; /*! Either `Dimension_tag` if the dimension is a compile-time constant of value `dim`, or `Dynamic_dimension_tag` -otherwise. It is implemented as `K::Ambient_dimension::type`. +otherwise. It is implemented as \link Kernel::Ambient_dimension::type K::Ambient_dimension::type \endlink. */ typedef Hidden_type type; @@ -167,7 +167,7 @@ public: /*! The dimension value as a compile-time -integral constant. It is implemented as `K::Feature_dimension::type::value`. +integral constant. It is implemented as \link Dimension_tag::value K::Feature_dimension::type::value \endlink. It exists only when the dimension is a compile-time constant. */ static const int value; @@ -180,7 +180,7 @@ static const int value; /*! Either `Dimension_tag` if the dimension is a compile-time constant of value `dim`, or `Dynamic_dimension_tag` -otherwise. It is implemented as `K::Feature_dimension::type`. +otherwise. It is implemented as \link Kernel::Feature_dimension::type K::Feature_dimension::type \endlink. */ typedef Hidden_type type; diff --git a/Kernel_23/doc/Kernel_23/Concepts/Kernel.h b/Kernel_23/doc/Kernel_23/Concepts/Kernel.h index c479be6ab1a..fdd0b0081f3 100644 --- a/Kernel_23/doc/Kernel_23/Concepts/Kernel.h +++ b/Kernel_23/doc/Kernel_23/Concepts/Kernel.h @@ -9281,6 +9281,38 @@ typedef Hidden_type Angle; /// @} +/// \name Dimension handling +/// @{ + + +/*! +A class to extract the ambient dimension for each object listed in the Geometric Object section of the Kernel concept. +*/ +template +class Ambient_dimension +{ + public: + /*! + `dim` is the ambient dimension of the geometric object `T`. + */ + typedef Dimension_tag type; +}; + +/*! +A class to extract the feature dimension for each object listed in the Geometric Object section of the Kernel concept. +*/ +template +class Feature_dimension +{ + public: + /*! + `dim` is the feature dimension of the geometric object `T`. + */ + typedef Dimension_tag type; +}; + +/// @} + /// \name Constants /// @{