cprover
|
#include <goto_symex_state.h>
Public Types | |
typedef std::map< irep_idt, exprt > | valuest |
Public Member Functions | |
void | operator() (exprt &expr) |
void | remove (const irep_idt &identifier) |
Public Attributes | |
valuest | values |
Definition at line 135 of file goto_symex_state.h.
typedef std::map<irep_idt, exprt> goto_symex_statet::propagationt::valuest |
Definition at line 138 of file goto_symex_state.h.
void goto_symex_statet::propagationt::operator() | ( | exprt & | expr | ) |
Definition at line 390 of file goto_symex_state.cpp.
References Forall_operands, irept::get(), and irept::id().
|
inline |
Definition at line 142 of file goto_symex_state.h.
References goto_symex_statet::propagation.
Referenced by goto_symex_statet::assignment(), goto_symext::symex_dead(), and goto_symext::symex_decl().
valuest goto_symex_statet::propagationt::values |
Definition at line 139 of file goto_symex_state.h.
Referenced by goto_symex_statet::assignment(), goto_symext::phi_function(), and goto_symex_statet::rename().