cprover
goto_symex_statet::threadt Class Reference

#include <goto_symex_state.h>

Collaboration diagram for goto_symex_statet::threadt:
[legend]

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
 

Detailed Description

Definition at line 321 of file goto_symex_state.h.

Constructor & Destructor Documentation

§ threadt()

goto_symex_statet::threadt::threadt ( )
inline

Definition at line 330 of file goto_symex_state.h.

Member Data Documentation

§ atomic_section_id

unsigned goto_symex_statet::threadt::atomic_section_id

Definition at line 328 of file goto_symex_state.h.

§ call_stack

call_stackt goto_symex_statet::threadt::call_stack

Definition at line 326 of file goto_symex_state.h.

Referenced by goto_symext::symex_start_thread().

§ function_frame

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

Definition at line 327 of file goto_symex_state.h.

§ guard

guardt goto_symex_statet::threadt::guard

Definition at line 325 of file goto_symex_state.h.

Referenced by goto_symext::symex_start_thread().

§ pc

goto_programt::const_targett goto_symex_statet::threadt::pc

Definition at line 324 of file goto_symex_state.h.

Referenced by goto_symext::symex_start_thread().


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