CBMC
Public Member Functions | Private Attributes | List of all members
merge_location_update_visitort Class Reference

#include <location_update_visitor.h>

+ Inheritance diagram for merge_location_update_visitort:
+ Collaboration diagram for merge_location_update_visitort:

Public Member Functions

 merge_location_update_visitort (const abstract_objectt::locationt &location)
 
abstract_object_pointert visit (const abstract_object_pointert &element) const override
 

Private Attributes

const abstract_objectt::locationt & location
 

Detailed Description

Definition at line 33 of file location_update_visitor.h.

Constructor & Destructor Documentation

◆ merge_location_update_visitort()

merge_location_update_visitort::merge_location_update_visitort ( const abstract_objectt::locationt &  location)
inlineexplicit

Definition at line 37 of file location_update_visitor.h.

Member Function Documentation

◆ visit()

abstract_object_pointert merge_location_update_visitort::visit ( const abstract_object_pointert &  element) const
inlineoverridevirtual

Implements abstract_objectt::abstract_object_visitort.

Definition at line 44 of file location_update_visitor.h.

Member Data Documentation

◆ location

const abstract_objectt::locationt& merge_location_update_visitort::location
private

Definition at line 50 of file location_update_visitor.h.

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