cprover
path_symex_statet::threadt Struct Reference

#include <path_symex_state.h>

Collaboration diagram for path_symex_statet::threadt:
[legend]

Public Member Functions

 threadt ()
 

Public Attributes

loc_reft pc
 
call_stackt call_stack
 
var_valt local_vars
 
bool active
 

Detailed Description

Definition at line 85 of file path_symex_state.h.

Constructor & Destructor Documentation

◆ threadt()

path_symex_statet::threadt::threadt ( )
inline

Definition at line 93 of file path_symex_state.h.

Member Data Documentation

◆ active

bool path_symex_statet::threadt::active

Definition at line 91 of file path_symex_state.h.

◆ call_stack

◆ local_vars

var_valt path_symex_statet::threadt::local_vars

◆ pc


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