Loading...
Searching...
No Matches
renamedt< underlyingt, level > Class Template Reference
Wrapper for expressions or types which have been renamed up to a given level.
More...
#include <renamed.h>
+ Inheritance diagram for renamedt< underlyingt, level >:
+ Collaboration diagram for renamedt< underlyingt, level >:
Only the friend classes can create renamedt objects.
Set the level 0 renaming of SSA expressions.
Detailed Description
template<
typename underlyingt,
levelt level>
class renamedt< underlyingt, level >
Wrapper for expressions or types which have been renamed up to a given level.
Definition at line 32 of file renamed.h.
Constructor & Destructor Documentation
◆ renamedt()
Only the friend classes can create renamedt objects.
Definition at line 63 of file renamed.h.
Member Function Documentation
◆ get()
const underlyingt &
renamedt< underlyingt, level >::get
(
)
const
inline
◆ simplify()
◆ value()
underlyingt &
renamedt< underlyingt, level >::value
(
)
Friends And Related Symbol Documentation
◆ goto_symex_statet
◆ symex_level0
Set the level 0 renaming of SSA expressions.
Level 0 corresponds to threads. The renaming is built for one particular interleaving. Rename ssa_expr using thread_nr as L0 tag, unless ssa_expr is a guard, a shared variable or a function. ns is queried to decide whether we are in one of these cases.
Definition at line 22 of file renaming_level.cpp.
◆ symex_level1t
◆ symex_level2t
The documentation for this class was generated from the following file:
- /home/runner/work/cbmc/cbmc/src/goto-symex/renamed.h
