cprover
|
#include <goto_symex_state.h>
Public Member Functions | |
threadt () | |
Public Attributes | |
goto_programt::const_targett | pc |
guardt | guard |
call_stackt | call_stack |
std::map< irep_idt, unsigned > | function_frame |
unsigned | atomic_section_id |
Definition at line 347 of file goto_symex_state.h.
|
inline |
Definition at line 356 of file goto_symex_state.h.
unsigned goto_symex_statet::threadt::atomic_section_id |
Definition at line 354 of file goto_symex_state.h.
call_stackt goto_symex_statet::threadt::call_stack |
Definition at line 352 of file goto_symex_state.h.
Referenced by goto_symext::symex_start_thread().
std::map<irep_idt, unsigned> goto_symex_statet::threadt::function_frame |
Definition at line 353 of file goto_symex_state.h.
guardt goto_symex_statet::threadt::guard |
Definition at line 351 of file goto_symex_state.h.
Referenced by goto_symext::symex_start_thread().
goto_programt::const_targett goto_symex_statet::threadt::pc |
Definition at line 350 of file goto_symex_state.h.
Referenced by goto_symext::symex_start_thread().