CBMC
string_hash.cpp File Reference

string hashing More...

#include "string_hash.h"
+ Include dependency graph for string_hash.cpp:

Go to the source code of this file.

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.cpp.

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.