cprover
|
#include <string_container.h>
Public Member Functions | |
size_t | operator() (const string_ptrt s) const |
Definition at line 41 of file string_container.h.
|
inline |
Definition at line 44 of file string_container.h.
References hash_string(), and string_ptrt::s.