STRING_TYPE and CONST_STRING and associate type infrastructure implemented.

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

diff --git a/src/util/hash.h b/src/util/hash.h
index bd3fee5979781b118e29486f3f1069281e662ca4..6183c5208accc2d5f3f00b59279b1eedb4672305 100644 (file)
--- a/src/util/hash.h
+++ b/src/util/hash.h
@@ -36,6 +36,12 @@ struct StringHashFunction {
   }
 };/* struct StringHashFunction */
 
+struct StringHashStrategy {
+  static size_t hash(const std::string& str) {
+    return std::hash<const char*>()(str.c_str());
+  }
+};/* struct StringHashStrategy */
+
 }/* CVC4 namespace */
 
 #endif /* __CVC4__HASH_H */