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: