cprover
|
Renaming levels. More...
Go to the source code of this file.
Classes | |
struct | symex_renaming_levelt |
Wrapper for a current_names map, which maps each identifier to an SSA expression and a counter. More... | |
struct | symex_level0t |
Functor to set the level 0 renaming of SSA expressions. More... | |
struct | symex_level1t |
Functor to set the level 1 renaming of SSA expressions. More... | |
struct | symex_level2t |
Functor to set the level 2 renaming of SSA expressions. More... | |
Renaming levels.
Definition in file renaming_level.h.