CBMC
string_hash.h File Reference

string hashing More...

#include <string>
+ Include dependency graph for string_hash.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  string_hash
 

Functions

size_t hash_string (const std::string &s)
 
size_t hash_string (const char *s)
 

Detailed Description

string hashing

Definition in file string_hash.h.

Function Documentation

◆ hash_string() [1/2]

size_t hash_string ( const char *  s)

Definition at line 25 of file string_hash.cpp.

◆ hash_string() [2/2]

size_t hash_string ( const std::string &  s)

Definition at line 14 of file string_hash.cpp.