From 5e9c22a5a0bb3e641ad0f2995e9f57530da46263 Mon Sep 17 00:00:00 2001 From: Joseph Edwards Date: Thu, 6 Jun 2024 16:46:10 +0100 Subject: [PATCH] More docs again --- include/libsemigroups/presentation.hpp | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/include/libsemigroups/presentation.hpp b/include/libsemigroups/presentation.hpp index 440b1ce5e..bd64f5eb7 100644 --- a/include/libsemigroups/presentation.hpp +++ b/include/libsemigroups/presentation.hpp @@ -1961,6 +1961,19 @@ namespace libsemigroups { } // namespace presentation + //! \ingroup presentations_group + //! + //! \brief For an implementations of inverse presentations for semigroups or + //! monoids. + //! + //! Defined in ``presentation.hpp``. + //! + //! This class template can be used to construction inverse presentations for + //! semigroups or monoids and is intended to be used as the input to other + //! algorithms in `libsemigroups`. This class inherits from \ref + //! Presentation + //! + //! \tparam Word the type of the underlying words. template class InversePresentation : public Presentation { public: