const_contains -> contains_no_run

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.

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;
     }