cprover
|
#include <path_symex_state.h>
Public Member Functions | |
threadt () | |
Public Attributes | |
loc_reft | pc |
call_stackt | call_stack |
var_valt | local_vars |
bool | active |
Definition at line 85 of file path_symex_state.h.
|
inline |
Definition at line 93 of file path_symex_state.h.
bool path_symex_statet::threadt::active |
Definition at line 91 of file path_symex_state.h.
call_stackt path_symex_statet::threadt::call_stack |
Definition at line 89 of file path_symex_state.h.
Referenced by path_symext::function_call_rec(), path_symex_statet::output(), path_symext::return_from_function(), and path_symext::set_return_value().
var_valt path_symex_statet::threadt::local_vars |
Definition at line 90 of file path_symex_state.h.
Referenced by path_symext::function_call_rec(), path_symext::operator()(), and path_symext::return_from_function().
loc_reft path_symex_statet::threadt::pc |
Definition at line 88 of file path_symex_state.h.
Referenced by path_symext::function_call_rec(), initial_state(), path_symext::operator()(), path_symex_statet::output(), and path_symext::return_from_function().