12 #ifndef CPROVER_POINTER_ANALYSIS_VALUE_SETS_H
13 #define CPROVER_POINTER_ANALYSIS_VALUE_SETS_H
34 const exprt &expr) = 0;
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Base class for all expressions.
instructionst::const_iterator const_targett
std::list< exprt > valuest
virtual std::vector< exprt > get_values(const irep_idt &function_id, goto_programt::const_targett l, const exprt &expr)=0