cprover
goto_symex_statet::threadt Struct Reference

#include <goto_symex_state.h>

+ Collaboration diagram for goto_symex_statet::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 = 0
 

Detailed Description

Definition at line 243 of file goto_symex_state.h.

Member Data Documentation

◆ atomic_section_id

unsigned goto_symex_statet::threadt::atomic_section_id = 0

Definition at line 249 of file goto_symex_state.h.

◆ call_stack

call_stackt goto_symex_statet::threadt::call_stack

Definition at line 247 of file goto_symex_state.h.

◆ function_frame

std::map<irep_idt, unsigned> goto_symex_statet::threadt::function_frame

Definition at line 248 of file goto_symex_state.h.

◆ guard

guardt goto_symex_statet::threadt::guard

Definition at line 246 of file goto_symex_state.h.

◆ pc

goto_programt::const_targett goto_symex_statet::threadt::pc

Definition at line 245 of file goto_symex_state.h.


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