cprover
renaming_level.h File Reference
#include <map>
#include <unordered_set>
#include <util/irep.h>
#include <util/ssa_expr.h>
+ Include dependency graph for renaming_level.h:
+ This graph shows which files directly or indirectly include this file:

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...
 

Detailed Description

Renaming levels

Definition in file renaming_level.h.