CBMC
function_itt_hasht Struct Reference

Public Types

using function_itt = goto_functionst::function_mapt::const_iterator
 

Public Member Functions

std::size_t operator() (const function_itt &function_it) const
 

Detailed Description

Definition at line 39 of file fatal_assertions.cpp.

Member Typedef Documentation

◆ function_itt

using function_itt_hasht::function_itt = goto_functionst::function_mapt::const_iterator

Definition at line 41 of file fatal_assertions.cpp.

Member Function Documentation

◆ operator()()

std::size_t function_itt_hasht::operator() ( const function_itt function_it) const
inline

Definition at line 42 of file fatal_assertions.cpp.


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