cprover
dereference_callbackt Member List

This is the complete list of members for dereference_callbackt, including all inherited members.

dereference_failure(const std::string &property, const std::string &msg, const guardt &guard)=0dereference_callbacktpure virtual
get_value_set(const exprt &expr, value_setst::valuest &value_set)=0dereference_callbacktpure virtual
has_failed_symbol(const exprt &expr, const symbolt *&symbol)=0dereference_callbacktpure virtual
~dereference_callbackt()dereference_callbacktvirtual