cprover
dereference_callbackt Class Referenceabstract

TO_BE_DOCUMENTED. More...

#include <dereference_callback.h>

Inheritance diagram for dereference_callbackt:
[legend]

Public Member Functions

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

Detailed Description

TO_BE_DOCUMENTED.

Definition at line 25 of file dereference_callback.h.

Constructor & Destructor Documentation

§ ~dereference_callbackt()

dereference_callbackt::~dereference_callbackt ( )
virtual

Definition at line 14 of file dereference_callback.cpp.

Member Function Documentation

§ dereference_failure()

§ get_value_set()

virtual void dereference_callbackt::get_value_set ( const exprt expr,
value_setst::valuest value_set 
)
pure virtual

§ has_failed_symbol()

virtual bool dereference_callbackt::has_failed_symbol ( const exprt expr,
const symbolt *&  symbol 
)
pure virtual

The documentation for this class was generated from the following files: