cprover
goto_symex_statet::renaming_levelt Struct Reference

#include <goto_symex_state.h>

Inheritance diagram for goto_symex_statet::renaming_levelt:
[legend]
Collaboration diagram for goto_symex_statet::renaming_levelt:
[legend]

Public Types

typedef std::map< irep_idt, std::pair< ssa_exprt, unsigned > > current_namest
 

Public Member Functions

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
 

Public Attributes

current_namest current_names
 

Detailed Description

Definition at line 52 of file goto_symex_state.h.

Member Typedef Documentation

◆ current_namest

typedef std::map<irep_idt, std::pair<ssa_exprt, unsigned> > goto_symex_statet::renaming_levelt::current_namest

Definition at line 56 of file goto_symex_state.h.

Constructor & Destructor Documentation

◆ ~renaming_levelt()

virtual goto_symex_statet::renaming_levelt::~renaming_levelt ( )
inlinevirtual

Definition at line 54 of file goto_symex_state.h.

Member Function Documentation

◆ current_count()

unsigned goto_symex_statet::renaming_levelt::current_count ( const irep_idt identifier) const
inline

◆ get_variables()

void goto_symex_statet::renaming_levelt::get_variables ( std::unordered_set< ssa_exprt, irep_hash > &  vars) const
inline

Definition at line 72 of file goto_symex_state.h.

References current_names.

Referenced by goto_symext::phi_function().

◆ increase_counter()

void goto_symex_statet::renaming_levelt::increase_counter ( const irep_idt identifier)
inline

Member Data Documentation

◆ current_names


The documentation for this struct was generated from the following file: