CBMC
|
Public Types | |
using | function_itt = goto_functionst::function_mapt::const_iterator |
Public Member Functions | |
std::size_t | operator() (const function_itt &function_it) const |
Definition at line 39 of file fatal_assertions.cpp.
using function_itt_hasht::function_itt = goto_functionst::function_mapt::const_iterator |
Definition at line 41 of file fatal_assertions.cpp.
|
inline |
Definition at line 42 of file fatal_assertions.cpp.