Loading...

Searching...

No Matches

string_hash.h

1/*******************************************************************\

2

3Module: string hashing

4

5Author: 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#include <string_view>

17

18std::size_t hash_string(std::string_view);

19std::size_t hash_string(const char *s, std::size_t len);

20

21// NOLINTNEXTLINE(readability/identifiers)

23{

24 std::size_t operator()(const std::string &s) const

25{

26 return hash_string(s);

27 }

28};

29

30#endif // CPROVER_UTIL_STRING_HASH_H

ait supplies three of the four components needed: an abstract interpreter (in this case handling func...

Definition ai.h:566

std::size_t hash_string(std::string_view)

Definition string_hash.cpp:14

Definition string_hash.h:23

std::size_t operator()(const std::string &s) const

Definition string_hash.h:24

CBMC: /home/runner/work/cbmc/cbmc/src/util/string_hash.h Source File