Mark const method as const

VeriFIT · Sep 13, 2023 · 22ac0c6 · 22ac0c6
1 parent a0c844b
commit 22ac0c6
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/include/mata/nfa/nfa.hh b/include/mata/nfa/nfa.hh
@@ -149,7 +149,7 @@ public:
      *  essentially only useful for testing purposes.
      * @return True if automata are exactly identical, false otherwise.
      */
-    bool is_identical(const Nfa & aut);
+    bool is_identical(const Nfa& aut) const;
 
     /**
      * @brief Get set of reachable states.

diff --git a/src/nfa/nfa.cc b/src/nfa/nfa.cc
@@ -499,7 +499,7 @@ void Nfa::clear() {
     final.clear();
 }
 
-bool Nfa::is_identical(const Nfa& aut) {
+bool Nfa::is_identical(const Nfa& aut) const {
     if (utils::OrdVector<State>(initial) != utils::OrdVector<State>(aut.initial)) {
         return false;
     }