From f33f8ff92994d5bc6e410a13e17ec813bc26c291 Mon Sep 17 00:00:00 2001
From: Joseph Edwards <josephdavidedwards@gmail.com>
Date: Fri, 8 Nov 2024 13:48:23 +0000
Subject: [PATCH] const_contains -> contains_no_run

---
 include/libsemigroups/schreier-sims.hpp | 8 +++++---
 include/libsemigroups/schreier-sims.tpp | 4 ++--
 2 files changed, 7 insertions(+), 5 deletions(-)

diff --git a/include/libsemigroups/schreier-sims.hpp b/include/libsemigroups/schreier-sims.hpp
index e1243dbab..c194c51bb 100644
--- a/include/libsemigroups/schreier-sims.hpp
+++ b/include/libsemigroups/schreier-sims.hpp
@@ -731,9 +731,9 @@ namespace libsemigroups {
       return sift_no_checks(x);
     }
 
-    //! \brief Test membership of an element (const).
+    //! \brief Test membership of an element without running.
     //!
-    //! Test membership of an element (const).
+    //! Test membership of an element without running.
     //!
     //! \param x a const reference to the possible element.
     //!
@@ -749,8 +749,10 @@ namespace libsemigroups {
     // isn't true, because we either run to the end or haven't done anything at
     // all.
     // not noexcept because sift_no_checks isn't
-    [[nodiscard]] bool const_contains(const_element_reference x) const;
+    [[nodiscard]] bool contains_no_run(const_element_reference x) const;
 
+    //! \brief Test membership of an element.
+    //!
     //! Test membership of an element.
     //!
     //! \param x a const reference to the possible element.
diff --git a/include/libsemigroups/schreier-sims.tpp b/include/libsemigroups/schreier-sims.tpp
index 7334e36f1..2afbe3c6a 100644
--- a/include/libsemigroups/schreier-sims.tpp
+++ b/include/libsemigroups/schreier-sims.tpp
@@ -183,7 +183,7 @@ namespace libsemigroups {
   }
 
   template <size_t N, typename Point, typename Element, typename Traits>
-  bool SchreierSims<N, Point, Element, Traits>::const_contains(
+  bool SchreierSims<N, Point, Element, Traits>::contains_no_run(
       const_element_reference x) const {
     if (!is_valid_degree(Degree()(x))) {
       return false;
@@ -197,7 +197,7 @@ namespace libsemigroups {
   SchreierSims<N, Point, Element, Traits>::contains(const_element_reference x) {
     if (is_valid_degree(Degree()(x))) {
       run();
-      return const_contains(x);
+      return contains_no_run(x);
     } else {
       return false;
     }