12 #ifndef CPROVER_POINTER_ANALYSIS_DEREFERENCE_CALLBACK_H 13 #define CPROVER_POINTER_ANALYSIS_DEREFERENCE_CALLBACK_H 31 const std::string &property,
32 const std::string &msg,
44 #endif // CPROVER_POINTER_ANALYSIS_DEREFERENCE_CALLBACK_H
virtual ~dereference_callbackt()
virtual void dereference_failure(const std::string &property, const std::string &msg, const guardt &guard)=0
Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet...
virtual bool has_failed_symbol(const exprt &expr, const symbolt *&symbol)=0
virtual void get_value_set(const exprt &expr, value_setst::valuest &value_set)=0
Base class for all expressions.
std::list< exprt > valuest