CBMC
Public Types | Public Member Functions | Public Attributes | List of all members
function_loc_pairt Struct Reference
+ Collaboration diagram for function_loc_pairt:

Public Types

using function_itt = goto_functionst::function_mapt::const_iterator
 

Public Member Functions

 function_loc_pairt (function_itt __function_it, goto_programt::const_targett __target)
 
bool operator== (const function_loc_pairt &other) const
 

Public Attributes

function_itt function_it
 
goto_programt::const_targett target
 

Detailed Description

Definition at line 21 of file fatal_assertions.cpp.

Member Typedef Documentation

◆ function_itt

using function_loc_pairt::function_itt = goto_functionst::function_mapt::const_iterator

Definition at line 23 of file fatal_assertions.cpp.

Constructor & Destructor Documentation

◆ function_loc_pairt()

function_loc_pairt::function_loc_pairt ( function_itt  __function_it,
goto_programt::const_targett  __target 
)
inline

Definition at line 24 of file fatal_assertions.cpp.

Member Function Documentation

◆ operator==()

bool function_loc_pairt::operator== ( const function_loc_pairt &  other) const
inline

Definition at line 32 of file fatal_assertions.cpp.

Member Data Documentation

◆ function_it

function_itt function_loc_pairt::function_it

Definition at line 30 of file fatal_assertions.cpp.

◆ target

goto_programt::const_targett function_loc_pairt::target

Definition at line 31 of file fatal_assertions.cpp.

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