cprover
|
#include <write_location_context.h>
Public Member Functions | |
location_update_visitort (const locationst &locations) | |
abstract_object_pointert | visit (const abstract_object_pointert element) const |
Private Attributes | |
const locationst & | locations |
Definition at line 76 of file write_location_context.h.
|
inlineexplicit |
Definition at line 80 of file write_location_context.h.
|
inlinevirtual |
Implements abstract_objectt::abstract_object_visitort.
Definition at line 85 of file write_location_context.h.
|
private |
Definition at line 91 of file write_location_context.h.