CBMC
irep_hash_container_baset::pointer_hasht Struct Reference

#include <irep_hash_container.h>

Public Member Functions

std::size_t operator() (const void *p) const
 

Detailed Description

Definition at line 41 of file irep_hash_container.h.

Member Function Documentation

◆ operator()()

std::size_t irep_hash_container_baset::pointer_hasht::operator() ( const void *  p) const
inline

Definition at line 43 of file irep_hash_container.h.


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