Base class for pointer value set analysis.
More...
#include <dereference_callback.h>
Base class for pointer value set analysis.
Implemented by goto_program_dereferencet. This exists so that value_set_dereferencet
can contain a reference to goto_program_derefencet
which cannot be done directly because goto_program_derefencet
contains a value_set_dereferencet
.
Definition at line 27 of file dereference_callback.h.
◆ ~dereference_callbackt()
virtual dereference_callbackt::~dereference_callbackt |
( |
| ) |
|
|
virtualdefault |
◆ get_or_create_failed_symbol()
virtual const symbolt* dereference_callbackt::get_or_create_failed_symbol |
( |
const exprt & |
expr | ) |
|
|
pure virtual |
◆ get_value_set() [1/2]
virtual std::vector<exprt> dereference_callbackt::get_value_set |
( |
const exprt & |
expr | ) |
const |
|
pure virtual |
◆ get_value_set() [2/2]
The documentation for this class was generated from the following file: