string_hash.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: string hashing
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/
 
 
#ifndef CPROVER_UTIL_STRING_HASH_H
#define CPROVER_UTIL_STRING_HASH_H
 
#include <string>
#include <string_view>
 
std::size_t hash_string(std::string_view);
std::size_t hash_string(const char *s, std::size_t len);
 
// NOLINTNEXTLINE(readability/identifiers)
struct string_hash
{
  std::size_t operator()(const std::string &s) const
  {
    return hash_string(s);
  }
};
 
#endif // CPROVER_UTIL_STRING_HASH_H