CBMC
Public Member Functions | Public Attributes | List of all members
goto_symex_statet::threadt Struct Reference

#include <goto_symex_state.h>

+ Collaboration diagram for goto_symex_statet::threadt:

Public Member Functions

 threadt (guard_managert &guard_manager)
 

Public Attributes

goto_programt::const_targett pc
 
irep_idt function_id
 
guardt guard
 
call_stackt call_stack
 
std::map< irep_idt, unsigned > function_frame
 
unsigned atomic_section_id = 0
 

Detailed Description

Definition at line 182 of file goto_symex_state.h.

Constructor & Destructor Documentation

◆ threadt()

goto_symex_statet::threadt::threadt ( guard_managert &  guard_manager)
inlineexplicit

Definition at line 190 of file goto_symex_state.h.

Member Data Documentation

◆ atomic_section_id

unsigned goto_symex_statet::threadt::atomic_section_id = 0

Definition at line 189 of file goto_symex_state.h.

◆ call_stack

call_stackt goto_symex_statet::threadt::call_stack

Definition at line 187 of file goto_symex_state.h.

◆ function_frame

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

Definition at line 188 of file goto_symex_state.h.

◆ function_id

irep_idt goto_symex_statet::threadt::function_id

Definition at line 185 of file goto_symex_state.h.

◆ guard

guardt goto_symex_statet::threadt::guard

Definition at line 186 of file goto_symex_state.h.

◆ pc

goto_programt::const_targett goto_symex_statet::threadt::pc

Definition at line 184 of file goto_symex_state.h.

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