cprover
goto_symex_statet::level1t Struct Reference

#include <goto_symex_state.h>

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

Public Member Functions

void operator() (ssa_exprt &ssa_expr)
 
void restore_from (const current_namest &other)
 
 level1t ()
 
virtual ~level1t ()
 
- Public Member Functions inherited from goto_symex_statet::renaming_levelt
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

- Public Types inherited from goto_symex_statet::renaming_levelt
typedef std::map< irep_idt, std::pair< ssa_exprt, unsigned > > current_namest
 
- Public Attributes inherited from goto_symex_statet::renaming_levelt
current_namest current_names
 

Detailed Description

Definition at line 112 of file goto_symex_state.h.

Constructor & Destructor Documentation

◆ level1t()

goto_symex_statet::level1t::level1t ( )
inline

Definition at line 137 of file goto_symex_state.h.

◆ ~level1t()

virtual goto_symex_statet::level1t::~level1t ( )
inlinevirtual

Definition at line 138 of file goto_symex_state.h.

Member Function Documentation

◆ operator()()

void goto_symex_statet::level1t::operator() ( ssa_exprt ssa_expr)

◆ restore_from()

void goto_symex_statet::level1t::restore_from ( const current_namest other)
inline

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