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:

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