Some items from the CVC4 public interface review:

[cvc5.git] / src / util / array_store_all.h

diff --git a/src/util/array_store_all.h b/src/util/array_store_all.h
index 834eec2c3198bb2e16aa648c4b5b79af197b50a9..277422ecf7268340442966a5dab0c7cb65c3b613 100644 (file)
--- a/src/util/array_store_all.h
+++ b/src/util/array_store_all.h
@@ -88,12 +88,12 @@ public:
 std::ostream& operator<<(std::ostream& out, const ArrayStoreAll& asa) CVC4_PUBLIC;
 
 /**
- * Hash function for the BitVector constants.
+ * Hash function for the ArrayStoreAll constants.
  */
-struct CVC4_PUBLIC ArrayStoreAllHashStrategy {
-  static inline size_t hash(const ArrayStoreAll& asa) {
+struct CVC4_PUBLIC ArrayStoreAllHashFunction {
+  inline size_t operator()(const ArrayStoreAll& asa) const {
     return TypeHashFunction()(asa.getType()) * ExprHashFunction()(asa.getExpr());
   }
-};/* struct ArrayStoreAllHashStrategy */
+};/* struct ArrayStoreAllHashFunction */
 
 }/* CVC4 namespace */