std::hash< dstringt > Struct Reference

Default hash function of dstringt for use with STL containers. More...

#include <dstring.h>

Public Member Functions
size_t	operator() (const dstringt &dstring) const

Detailed Description

Default hash function of dstringt for use with STL containers.

Definition at line 243 of file dstring.h.

Member Function Documentation

operator()()

size_t std::hash< dstringt >::operator() ( const dstringt &  dstring ) const

inline

Definition at line 245 of file dstring.h.

---

The documentation for this struct was generated from the following file:

• /home/runner/work/cbmc/cbmc/src/util/dstring.h