12 #ifndef CPROVER_POINTER_ANALYSIS_DEREFERENCE_CALLBACK_H 13 #define CPROVER_POINTER_ANALYSIS_DEREFERENCE_CALLBACK_H 41 #endif // CPROVER_POINTER_ANALYSIS_DEREFERENCE_CALLBACK_H Base class for pointer value set analysis.
virtual bool has_failed_symbol(const exprt &expr, const symbolt *&symbol)=0
virtual ~dereference_callbackt()=default
virtual void get_value_set(const exprt &expr, value_setst::valuest &value_set)=0
Base class for all expressions.
std::list< exprt > valuest