From b079bec43d4f710fe514643b53e2a86fef01481d Mon Sep 17 00:00:00 2001 From: Andreas Fabri Date: Wed, 3 Nov 2021 21:52:42 +0100 Subject: [PATCH] Document the Model --- Kernel_23/doc/Kernel_23/Concepts/Kernel.h | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/Kernel_23/doc/Kernel_23/Concepts/Kernel.h b/Kernel_23/doc/Kernel_23/Concepts/Kernel.h index 55a8d1469ef..8322937965d 100644 --- a/Kernel_23/doc/Kernel_23/Concepts/Kernel.h +++ b/Kernel_23/doc/Kernel_23/Concepts/Kernel.h @@ -1533,11 +1533,6 @@ public: */ typedef unspecified_type Is_degenerate_3; - /*! - a model of `Kernel::HasNonZeroCoordinateIndex_3` - */ - typedef unspecified_type Has_non_zero_coordinate_index_3; - /*! a model of `Kernel::HasOn_3` */ @@ -1568,6 +1563,11 @@ public: */ typedef unspecified_type Has_on_negative_side_3; + /*! + a model of `Kernel::NonZeroCoordinateIndex_3` + */ + typedef unspecified_type Non_zero_coordinate_index_3; + /*! a model of `Kernel::OrientedSide_3` */