cprover
|
#include <symex_dereference_state.h>
Public Member Functions | |
symex_dereference_statet (goto_symext &_goto_symex, goto_symext::statet &_state) | |
![]() | |
virtual | ~dereference_callbackt ()=default |
Protected Member Functions | |
void | get_value_set (const exprt &expr, value_setst::valuest &value_set) override |
bool | has_failed_symbol (const exprt &expr, const symbolt *&symbol) override |
Protected Attributes | |
goto_symext & | goto_symex |
goto_symext::statet & | state |
Definition at line 19 of file symex_dereference_state.h.
|
inline |
Definition at line 23 of file symex_dereference_state.h.
|
overrideprotectedvirtual |
Implements dereference_callbackt.
Definition at line 71 of file symex_dereference_state.cpp.
|
overrideprotectedvirtual |
Implements dereference_callbackt.
Definition at line 16 of file symex_dereference_state.cpp.
|
protected |
Definition at line 32 of file symex_dereference_state.h.
|
protected |
Definition at line 33 of file symex_dereference_state.h.