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

Public Member Functions

bool operator== (const call_stack_entryt &other) const
 

Public Attributes

goto_functionst::function_mapt::const_iterator f
 
goto_programt::const_targett return_address
 

Detailed Description

Definition at line 93 of file call_sequences.cpp.

Member Function Documentation

◆ operator==()

bool check_call_sequencet::call_stack_entryt::operator== ( const call_stack_entryt &  other) const
inline

Definition at line 98 of file call_sequences.cpp.

Member Data Documentation

◆ f

goto_functionst::function_mapt::const_iterator check_call_sequencet::call_stack_entryt::f

Definition at line 95 of file call_sequences.cpp.

◆ return_address

goto_programt::const_targett check_call_sequencet::call_stack_entryt::return_address

Definition at line 96 of file call_sequences.cpp.

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