abstract_objectt::abstract_object_visitort Struct Referenceabstract
Pure virtual interface required of a client that can apply a copy-on-write operation to a given abstract_object_pointert. More...
#include <abstract_object.h>
Inheritance diagram for abstract_objectt::abstract_object_visitort:Public Member Functions | |
| virtual abstract_object_pointert | visit (const abstract_object_pointert &element) const =0 |
Detailed Description
Pure virtual interface required of a client that can apply a copy-on-write operation to a given abstract_object_pointert.
Definition at line 329 of file abstract_object.h.
Member Function Documentation
◆ visit()
|
pure virtual |
Implemented in merge_location_update_visitort, and location_update_visitort.
The documentation for this struct was generated from the following file:
- /home/runner/work/cbmc/cbmc/src/analyses/variable-sensitivity/abstract_object.h
