cprover
|
#include <value_sets.h>
Public Types | |
typedef std::list< exprt > | valuest |
Public Member Functions | |
value_setst () | |
virtual void | get_values (goto_programt::const_targett l, const exprt &expr, valuest &dest)=0 |
virtual | ~value_setst () |
Definition at line 21 of file value_sets.h.
typedef std::list<exprt> value_setst::valuest |
Definition at line 28 of file value_sets.h.
|
inline |
Definition at line 24 of file value_sets.h.
|
inlinevirtual |
Definition at line 36 of file value_sets.h.
|
pure virtual |
Implemented in value_set_analysis_fivrnst, value_set_analysis_fivrt, value_set_analysis_fit, and value_set_analysist.
Referenced by preconditiont::compute_rec(), and goto_program_dereferencet::get_value_set().