cprover
check_call_sequencet::call_stack_entryt Struct Reference

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 125 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 130 of file call_sequences.cpp.

References f, and return_address.

Member Data Documentation

§ f

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

Definition at line 127 of file call_sequences.cpp.

Referenced by list_calls_and_arguments(), and operator==().

§ return_address

goto_programt::const_targett check_call_sequencet::call_stack_entryt::return_address

Definition at line 128 of file call_sequences.cpp.

Referenced by operator==().


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