diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-11-04 16:52:06 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-11-04 16:52:06 +0000 |
commit | 37812f8ad9743b372608e871efe3e336c4ebd631 (patch) | |
tree | 704591a3151169ed998956cbe4b85be8725941c2 /src/util/hash.h | |
parent | b5fd5b61a9f0f993703497fb1c8d678cf2d8bb01 (diff) |
STRING_TYPE and CONST_STRING and associate type infrastructure implemented.
Diffstat (limited to 'src/util/hash.h')
-rw-r--r-- | src/util/hash.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/util/hash.h b/src/util/hash.h index bd3fee597..6183c5208 100644 --- 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 */ |