path_symex_statet::threadt Struct Reference

#include <path_symex_state.h>

Collaboration diagram for path_symex_statet::threadt:

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

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

local_vars

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

pc

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

---

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

• path-symex/path_symex_state.h