cprover
|
#include <path_symex_state.h>
Public Attributes | |
irep_idt | current_function |
loc_reft | return_location |
exprt | return_lhs |
exprt | return_rhs |
var_state_mapt | saved_local_vars |
Definition at line 72 of file path_symex_state.h.
irep_idt path_symex_statet::framet::current_function |
Definition at line 74 of file path_symex_state.h.
exprt path_symex_statet::framet::return_lhs |
Definition at line 76 of file path_symex_state.h.
loc_reft path_symex_statet::framet::return_location |
Definition at line 75 of file path_symex_state.h.
exprt path_symex_statet::framet::return_rhs |
Definition at line 77 of file path_symex_state.h.
var_state_mapt path_symex_statet::framet::saved_local_vars |
Definition at line 78 of file path_symex_state.h.