cprover
|
#include <goto_rw.h>
Public Member Functions | |
virtual | ~range_domain_baset () |
virtual void | output (const namespacet &ns, std::ostream &out) const =0 |
|
virtual |
Definition at line 28 of file goto_rw.cpp.
|
pure virtual |
Implemented in guarded_range_domaint, and range_domaint.
Referenced by rw_range_sett::get_objects_rec().