cprover
|
#include <path_symex_state.h>
Public Types | |
typedef std::set< exprt > | index_sett |
Public Member Functions | |
var_statet () | |
Public Attributes | |
exprt | value |
symbol_exprt | ssa_symbol |
index_sett | index_set |
Definition at line 47 of file path_symex_state.h.
typedef std::set<exprt> path_symex_statet::var_statet::index_sett |
Definition at line 54 of file path_symex_state.h.
|
inline |
Definition at line 57 of file path_symex_state.h.
index_sett path_symex_statet::var_statet::index_set |
Definition at line 55 of file path_symex_state.h.
symbol_exprt path_symex_statet::var_statet::ssa_symbol |
Definition at line 51 of file path_symex_state.h.
Referenced by path_symext::assign_rec(), path_symex_statet::read_symbol_member_index(), and path_symext::symex_va_arg_next().
exprt path_symex_statet::var_statet::value |
Definition at line 50 of file path_symex_state.h.
Referenced by path_symext::assign_rec(), and path_symex_statet::read_symbol_member_index().