concept gen alignment

Author: SpectraL519

docs/concepts_cfg.json

@@ -7,14 +7,14 @@
     "groups": {
         "GL": {
             "prefix": "gl::",
-            "filename": "gl_traits.md",
+            "filename": "gl_concepts.md",
             "anchor": "gl-traits-concepts-documentation",
             "title": "GL Concepts",
             "description": "This page documents the C++20 concepts defined within the GL module of the library."
         },
         "HGL": {
             "prefix": "hgl::",
-            "filename": "hgl_traits.md",
+            "filename": "hgl_concepts.md",
             "anchor": "hgl-traits-concepts-documentation",
             "title": "HGL Concepts",
             "description": "This page documents the C++20 concepts defined within the HGL module of the library."

docs/groups.dox

@@ -48,7 +48,7 @@
 ///
 /// @section concepts_link Detailed Concept Specifications
 /// For a detailed list of all GL module's concepts and their formal requirements, please refer to
-/// the [GL Traits & Concepts Documentation](gl_traits.md#gl-traits-concepts-documentation) page.
+/// the [GL Concepts Documentation](gl_concepts.md#gl-traits-concepts-documentation) page.
 
 /// @defgroup GL-Types Generic Types
 /// @ingroup GL

include/gl/constants.hpp

@@ -15,9 +15,9 @@ namespace gl {
 
 /// @ingroup GL GL-Core
 /// @brief A constant representing the initial ID value of 0 for graph elements.
-/// @tparam IdType The type of the ID, which must satisfy the [**c_id_type**](gl_traits.md#gl-traits-c-id-type) concept.
+/// @tparam IdType The type of the ID, which must satisfy the [**c_id_type**](gl_concepts.md#gl-traits-c-id-type) concept.
 /// ### See Also
-/// - [**c_id_type**](gl_traits.md#gl-traits-c-id-type)
+/// - [**c_id_type**](gl_concepts.md#gl-traits-c-id-type)
 /// - @ref gl::initial_id_t "initial_id_t"
 /// - @ref gl::initial_id "initial_id"
 template <traits::c_id_type IdType>
@@ -26,11 +26,11 @@ inline constexpr IdType initial_id_v{0};
 /// @ingroup GL GL-Core
 /// @brief A helper type that can be implicitly converted to the initial ID value of 0 for any valid ID type.
 /// ### See Also
-/// - [**c_id_type**](gl_traits.md#gl-traits-c-id-type)
+/// - [**c_id_type**](gl_concepts.md#gl-traits-c-id-type)
 /// - @ref gl::initial_id_v "initial_id_v"
 /// - @ref gl::initial_id "initial_id"
 struct initial_id_t {
-    /// @brief Implicitly converts to the initial ID value of 0 for any type that satisfies the [**c_id_type**](gl_traits.md#gl-traits-c-id-type) concept.
+    /// @brief Implicitly converts to the initial ID value of 0 for any type that satisfies the [**c_id_type**](gl_concepts.md#gl-traits-c-id-type) concept.
     template <traits::c_id_type IdType>
     [[nodiscard]] constexpr operator IdType() const noexcept {
         return initial_id_v<IdType>;
@@ -49,7 +49,7 @@ struct initial_id_t {
 /// 1\. The `initial_id` constant can be implicitly converted to the `v1`'s type (`vertex_id_t`), resulting in `v1` being initialized to the value of 0.
 ///
 /// ### See Also
-/// - [**c_id_type**](gl_traits.md#gl-traits-c-id-type)
+/// - [**c_id_type**](gl_concepts.md#gl-traits-c-id-type)
 /// - @ref gl::initial_id_v "initial_id_v"
 /// - @ref gl::initial_id_t "initial_id_t"
 inline constexpr initial_id_t initial_id{};
@@ -58,9 +58,9 @@ inline constexpr initial_id_t initial_id{};
 
 /// @ingroup GL GL-Core
 /// @brief A constant representing the invalid ID value for graph elements, defined as the maximum value of the specified ID type.
-/// @tparam IdType The type of the ID, which must satisfy the [**c_id_type**](gl_traits.md#gl-traits-c-id-type) concept.
+/// @tparam IdType The type of the ID, which must satisfy the [**c_id_type**](gl_concepts.md#gl-traits-c-id-type) concept.
 /// ### See Also
-/// - [**c_id_type**](gl_traits.md#gl-traits-c-id-type)
+/// - [**c_id_type**](gl_concepts.md#gl-traits-c-id-type)
 /// - @ref gl::invalid_id_t "invalid_id_t"
 /// - @ref gl::invalid_id "invalid_id"
 template <traits::c_id_type IdType>
@@ -69,11 +69,11 @@ inline constexpr IdType invalid_id_v{std::numeric_limits<IdType>::max()};
 /// @ingroup GL GL-Core
 /// @brief A helper type that can be implicitly converted to the invalid ID value for any valid ID type.
 /// ### See Also
-/// - [**c_id_type**](gl_traits.md#gl-traits-c-id-type)
+/// - [**c_id_type**](gl_concepts.md#gl-traits-c-id-type)
 /// - @ref gl::invalid_id_v "invalid_id_v"
 /// - @ref gl::invalid_id "invalid_id"
 struct invalid_id_t {
-    /// @brief Implicitly converts to the invalid ID value for any type that satisfies the [**c_id_type**](gl_traits.md#gl-traits-c-id-type) concept.
+    /// @brief Implicitly converts to the invalid ID value for any type that satisfies the [**c_id_type**](gl_concepts.md#gl-traits-c-id-type) concept.
     template <traits::c_id_type IdType>
     [[nodiscard]] constexpr operator IdType() const noexcept {
         return invalid_id_v<IdType>;
@@ -85,7 +85,7 @@ struct invalid_id_t {
     /// enabling easy checking if a given ID is invalid without needing to explicitly reference
     /// the `invalid_id_v` constant for the specific ID type.
     ///
-    /// @tparam IdType The type of the ID, which must satisfy the [**c_id_type**](gl_traits.md#gl-traits-c-id-type) concept.
+    /// @tparam IdType The type of the ID, which must satisfy the [**c_id_type**](gl_concepts.md#gl-traits-c-id-type) concept.
     /// @param lhs The ID value to compare againsyt the invalid ID constant.
     /// @param rhs The `invalid_id` constant (of type `invalid_id_t`) to compare with the ID value.
     /// @return Returns `true` if `lhs` is equal to the invalid ID value for its type, and `false` otherwise.
@@ -107,7 +107,7 @@ struct invalid_id_t {
 /// 1\. The `invalid_id` constant can be implicitly converted to the `v1`'s type (`vertex_id_t`), resulting in `v1` being initialized to the maximum value of `vertex_id_t`, which represents an invalid ID.
 ///
 /// ### See Also
-/// - [**c_id_type**](gl_traits.md#gl-traits-c-id-type)
+/// - [**c_id_type**](gl_concepts.md#gl-traits-c-id-type)
 /// - @ref gl::invalid_id_v "invalid_id_v"
 /// - @ref gl::invalid_id_t "invalid_id_t"
 inline constexpr invalid_id_t invalid_id{};

include/gl/directional_tags.hpp

@@ -67,7 +67,7 @@ concept c_undirected_edge =
 ///
 /// ### See Also
 /// - @ref gl::undirected_t "undirected_t" : For the tag representing an undirected graph configuration.
-/// - [**c_graph_directional_tag**](gl_traits.md#gl-traits-c-graph-directional-tag) : For the concept used to validate graph directional tags.
+/// - [**c_graph_directional_tag**](gl_concepts.md#gl-traits-c-graph-directional-tag) : For the concept used to validate graph directional tags.
 /// - @ref gl::edge_descriptor "edge_descriptor" : For the edge descriptor type defined based on the graph traits, which includes the directional tag as part of its definition.
 struct directed_t {
     /// @brief A type identity alias for the directed_t tag, allowing for easier type comparisons and trait evaluations.
@@ -109,7 +109,7 @@ struct directed_t {
 ///
 /// ### See Also
 /// - @ref gl::directed_t "directed_t" : For the tag representing a directed graph configuration.
-/// - [**c_graph_directional_tag**](gl_traits.md#gl-traits-c-graph-directional-tag) : For the concept used to validate graph directional tags.
+/// - [**c_graph_directional_tag**](gl_concepts.md#gl-traits-c-graph-directional-tag) : For the concept used to validate graph directional tags.
 /// - @ref gl::edge_descriptor "edge_descriptor" : For the edge descriptor type defined based on the graph traits, which includes the directional tag as part of its definition.
 struct undirected_t {
     /// @brief A type identity alias for the undirected_t tag, allowing for easier type comparisons and trait evaluations.

include/gl/edge_descriptor.hpp

@@ -59,9 +59,9 @@ namespace gl {
 /// ### Template Parameters
 /// | Parameter      | Description | Default | Constraint |
 /// | :------------- | :--- | :--- | :--- |
-/// | DirectionalTag | Tag specifying if the edge is directed or undirected. | @ref gl::directed_t "directed_t" | [**c_graph_directional_tag**](gl_traits.md#gl-traits-c-graph-directional-tag) |
-/// | Properties     | The type of property data attached to the edge. | @ref gl::empty_properties "empty_properties" | [**c_properties**](gl_traits.md#gl-traits-c-properties) |
-/// | IdType         | The underlying integer type used for the IDs. | @ref gl::default_id_type "default_id_type" | [**c_id_type**](gl_traits.md#gl-traits-c-id-type) |
+/// | DirectionalTag | Tag specifying if the edge is directed or undirected. | @ref gl::directed_t "directed_t" | [**c_graph_directional_tag**](gl_concepts.md#gl-traits-c-graph-directional-tag) |
+/// | Properties     | The type of property data attached to the edge. | @ref gl::empty_properties "empty_properties" | [**c_properties**](gl_concepts.md#gl-traits-c-properties) |
+/// | IdType         | The underlying integer type used for the IDs. | @ref gl::default_id_type "default_id_type" | [**c_id_type**](gl_concepts.md#gl-traits-c-id-type) |
 ///
 /// ### See Also
 /// * @ref gl::vertex_descriptor : For the corresponding vertex wrapper class.
@@ -382,8 +382,8 @@ class edge_descriptor final {
 /// ### Template Parameters
 /// | Parameter  | Description | Default | Constraint |
 /// | :--------- | :--- | :--- | :--- |
-/// | Properties | The type of property data attached to the edge. | @ref gl::empty_properties "empty_properties" | [**c_properties**](gl_traits.md#gl-traits-c-properties) |
-/// | IdType     | The underlying integer type used for the IDs. | @ref gl::default_id_type "default_id_type" | [**c_id_type**](gl_traits.md#gl-traits-c-id-type) |
+/// | Properties | The type of property data attached to the edge. | @ref gl::empty_properties "empty_properties" | [**c_properties**](gl_concepts.md#gl-traits-c-properties) |
+/// | IdType     | The underlying integer type used for the IDs. | @ref gl::default_id_type "default_id_type" | [**c_id_type**](gl_concepts.md#gl-traits-c-id-type) |
 template <
     traits::c_properties Properties = empty_properties,
     traits::c_id_type IdType = default_id_type>
@@ -397,8 +397,8 @@ using directed_edge = edge_descriptor<directed_t, Properties, IdType>;
 /// ### Template Parameters
 /// | Parameter  | Description | Default | Constraint |
 /// | :--------- | :--- | :--- | :--- |
-/// | Properties | The type of property data attached to the edge. | @ref gl::empty_properties "empty_properties" | [**c_properties**](gl_traits.md#gl-traits-c-properties) |
-/// | IdType     | The underlying integer type used for the IDs. | @ref gl::default_id_type "default_id_type" | [**c_id_type**](gl_traits.md#gl-traits-c-id-type) |
+/// | Properties | The type of property data attached to the edge. | @ref gl::empty_properties "empty_properties" | [**c_properties**](gl_concepts.md#gl-traits-c-properties) |
+/// | IdType     | The underlying integer type used for the IDs. | @ref gl::default_id_type "default_id_type" | [**c_id_type**](gl_concepts.md#gl-traits-c-id-type) |
 template <
     traits::c_properties Properties = empty_properties,
     traits::c_id_type IdType = default_id_type>