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 347 of file goto_symex_state.h.

Constructor & Destructor Documentation

◆ threadt()

goto_symex_statet::threadt::threadt ( )
inline

Definition at line 356 of file goto_symex_state.h.

Member Data Documentation

◆ atomic_section_id

unsigned goto_symex_statet::threadt::atomic_section_id

Definition at line 354 of file goto_symex_state.h.

◆ call_stack

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().

◆ function_frame

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

Definition at line 353 of file goto_symex_state.h.

◆ guard

guardt goto_symex_statet::threadt::guard

Definition at line 351 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 350 of file goto_symex_state.h.

Referenced by goto_symext::symex_start_thread().


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