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:

• /home/runner/work/cbmc/cbmc/src/goto-checker/fatal_assertions.cpp