CBMC
dstring_hash Struct Reference

#include <dstring.h>

Public Member Functions

size_t operator() (const dstringt &s) const
 

Detailed Description

Definition at line 223 of file dstring.h.

Member Function Documentation

◆ operator()()

size_t dstring_hash::operator() ( const dstringt s) const
inline

Definition at line 225 of file dstring.h.


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