1/*******************************************************************\
3Module: Value Set Propagation
5Author: Daniel Kroening, kroening@kroening.com
7\*******************************************************************/
12#ifndef CPROVER_POINTER_ANALYSIS_VALUE_SETS_H
13#define CPROVER_POINTER_ANALYSIS_VALUE_SETS_H
19// an abstract base class
30 // this is not const to allow a lazy evaluation
34 const exprt &expr) = 0;
41#endif // CPROVER_POINTER_ANALYSIS_VALUE_SETS_H
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