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

Public Member Functions

bool operator== (const statet &other) const
 

Public Attributes

goto_functionst::function_mapt::const_iterator f
 
goto_programt::const_targett pc
 
std::vector< call_stack_entryt > call_stack
 
unsigned index
 

Detailed Description

Definition at line 106 of file call_sequences.cpp.

Member Function Documentation

◆ operator==()

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

Definition at line 113 of file call_sequences.cpp.

Member Data Documentation

◆ call_stack

std::vector<call_stack_entryt> check_call_sequencet::statet::call_stack

Definition at line 110 of file call_sequences.cpp.

◆ f

goto_functionst::function_mapt::const_iterator check_call_sequencet::statet::f

Definition at line 108 of file call_sequences.cpp.

◆ index

unsigned check_call_sequencet::statet::index

Definition at line 111 of file call_sequences.cpp.

◆ pc

goto_programt::const_targett check_call_sequencet::statet::pc

Definition at line 109 of file call_sequences.cpp.

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