cprover
|
Functor to set the level 2 renaming of SSA expressions. More...
#include <renaming_level.h>
Public Member Functions | |
symex_level2t ()=default | |
~symex_level2t () override=default | |
![]() | |
virtual | ~symex_renaming_levelt ()=default |
unsigned | current_count (const irep_idt &identifier) const |
Counter corresponding to an identifier. More... | |
void | get_variables (std::unordered_set< ssa_exprt, irep_hash > &vars) const |
Add the ssa_exprt of current_names to vars. More... | |
Additional Inherited Members | |
![]() | |
typedef std::map< irep_idt, std::pair< ssa_exprt, unsigned > > | current_namest |
Map identifier to ssa_exprt and counter. More... | |
![]() | |
static void | increase_counter (const current_namest::iterator &it) |
Increase the counter corresponding to an identifier. More... | |
![]() | |
current_namest | current_names |
Functor to set the level 2 renaming of SSA expressions.
Level 2 corresponds to SSA. This is to ensure each variable is only assigned once.
Definition at line 83 of file renaming_level.h.
|
default |
|
overridedefault |