cprover
|
#include <goto_symex_state.h>
Public Member Functions | |
level2t () | |
virtual | ~level2t () |
![]() | |
virtual | ~renaming_levelt () |
unsigned | current_count (const irep_idt &identifier) const |
void | increase_counter (const irep_idt &identifier) |
void | get_variables (std::unordered_set< ssa_exprt, irep_hash > &vars) const |
Additional Inherited Members | |
![]() | |
typedef std::map< irep_idt, std::pair< ssa_exprt, unsigned > > | current_namest |
![]() | |
current_namest | current_names |
Definition at line 143 of file goto_symex_state.h.
|
inline |
Definition at line 145 of file goto_symex_state.h.
|
inlinevirtual |
Definition at line 146 of file goto_symex_state.h.