cprover
|
#include <goto_symex_state.h>
Public Member Functions | |
goto_statet (const goto_symex_statet &s) | |
void | level2_get_variables (std::unordered_set< ssa_exprt, irep_hash > &vars) const |
unsigned | level2_current_count (const irep_idt &identifier) const |
Public Attributes | |
unsigned | depth |
symex_level2t::current_namest | level2_current_names |
value_sett | value_set |
guardt | guard |
symex_targett::sourcet | source |
std::map< irep_idt, exprt > | propagation |
unsigned | atomic_section_id |
std::unordered_map< irep_idt, local_safe_pointerst > | safe_pointers |
unsigned | total_vccs |
unsigned | remaining_vccs |
Definition at line 111 of file goto_symex_state.h.
|
inlineexplicit |
Definition at line 124 of file goto_symex_state.h.
|
inline |
Definition at line 146 of file goto_symex_state.h.
|
inline |
Definition at line 139 of file goto_symex_state.h.
unsigned goto_symex_statet::goto_statet::atomic_section_id |
Definition at line 120 of file goto_symex_state.h.
unsigned goto_symex_statet::goto_statet::depth |
Definition at line 114 of file goto_symex_state.h.
guardt goto_symex_statet::goto_statet::guard |
Definition at line 117 of file goto_symex_state.h.
symex_level2t::current_namest goto_symex_statet::goto_statet::level2_current_names |
Definition at line 115 of file goto_symex_state.h.
Definition at line 119 of file goto_symex_state.h.
unsigned goto_symex_statet::goto_statet::remaining_vccs |
Definition at line 122 of file goto_symex_state.h.
std::unordered_map<irep_idt, local_safe_pointerst> goto_symex_statet::goto_statet::safe_pointers |
Definition at line 121 of file goto_symex_state.h.
symex_targett::sourcet goto_symex_statet::goto_statet::source |
Definition at line 118 of file goto_symex_state.h.
unsigned goto_symex_statet::goto_statet::total_vccs |
Definition at line 122 of file goto_symex_state.h.
value_sett goto_symex_statet::goto_statet::value_set |
Definition at line 116 of file goto_symex_state.h.