CBMC
function_loc_pair_hasht Struct Reference

Public Member Functions

std::size_t operator() (const function_loc_pairt &p) const
 

Detailed Description

Definition at line 48 of file fatal_assertions.cpp.

Member Function Documentation

◆ operator()()

std::size_t function_loc_pair_hasht::operator() ( const function_loc_pairt p) const
inline

Definition at line 50 of file fatal_assertions.cpp.


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