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 |