cprover
|
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 |
Definition at line 125 of file call_sequences.cpp.
|
inline |
Definition at line 130 of file call_sequences.cpp.
References f, and return_address.
goto_functionst::function_mapt::const_iterator check_call_sequencet::call_stack_entryt::f |
Definition at line 127 of file call_sequences.cpp.
Referenced by operator==().
goto_programt::const_targett check_call_sequencet::call_stack_entryt::return_address |
Definition at line 128 of file call_sequences.cpp.
Referenced by operator==().