cprover
goto_symex_statet::level0t Struct Reference

#include <goto_symex_state.h>

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

Public Member Functions

void operator() (ssa_exprt &ssa_expr, const namespacet &ns, unsigned thread_nr)
 
 level0t ()
 
virtual ~level0t ()
 
- 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 98 of file goto_symex_state.h.

Constructor & Destructor Documentation

◆ level0t()

goto_symex_statet::level0t::level0t ( )
inline

Definition at line 105 of file goto_symex_state.h.

◆ ~level0t()

virtual goto_symex_statet::level0t::~level0t ( )
inlinevirtual

Definition at line 106 of file goto_symex_state.h.

Member Function Documentation

◆ operator()()

void goto_symex_statet::level0t::operator() ( ssa_exprt ssa_expr,
const namespacet ns,
unsigned  thread_nr 
)

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