CBMC
string_ptr_hash Class Reference

#include <string_container.h>

Public Member Functions

size_t operator() (const string_ptrt s) const
 

Detailed Description

Definition at line 42 of file string_container.h.

Member Function Documentation

◆ operator()()

size_t string_ptr_hash::operator() ( const string_ptrt  s) const
inline

Definition at line 45 of file string_container.h.


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