CBMC
string_hash.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: string hashing
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_UTIL_STRING_HASH_H
13 #define CPROVER_UTIL_STRING_HASH_H
14 
15 #include <string>
16 
17 size_t hash_string(const std::string &s);
18 size_t hash_string(const char *s);
19 
20 // NOLINTNEXTLINE(readability/identifiers)
22 {
23  size_t operator()(const std::string &s) const { return hash_string(s); }
24 };
25 
26 #endif // CPROVER_UTIL_STRING_HASH_H
size_t hash_string(const std::string &s)
Definition: string_hash.cpp:14
size_t operator()(const std::string &s) const
Definition: string_hash.h:23