cprover
|
#include <goto_symex_state.h>
Public Attributes | |
goto_programt::const_targett | pc |
guardt | guard |
call_stackt | call_stack |
std::map< irep_idt, unsigned > | function_frame |
unsigned | atomic_section_id = 0 |
Definition at line 243 of file goto_symex_state.h.
unsigned goto_symex_statet::threadt::atomic_section_id = 0 |
Definition at line 249 of file goto_symex_state.h.
call_stackt goto_symex_statet::threadt::call_stack |
Definition at line 247 of file goto_symex_state.h.
std::map<irep_idt, unsigned> goto_symex_statet::threadt::function_frame |
Definition at line 248 of file goto_symex_state.h.
guardt goto_symex_statet::threadt::guard |
Definition at line 246 of file goto_symex_state.h.
goto_programt::const_targett goto_symex_statet::threadt::pc |
Definition at line 245 of file goto_symex_state.h.