- std::shared_ptr<simgrid::mc::ObjectInformation> find_object_info(RemotePtr<void> addr) const;
- std::shared_ptr<simgrid::mc::ObjectInformation> find_object_info_exec(RemotePtr<void> addr) const;
- std::shared_ptr<simgrid::mc::ObjectInformation> find_object_info_rw(RemotePtr<void> addr) const;
- simgrid::mc::Frame* find_function(RemotePtr<void> ip) const;
- const simgrid::mc::Variable* find_variable(const char* name) const;
+ std::shared_ptr<ObjectInformation> find_object_info(RemotePtr<void> addr) const;
+ std::shared_ptr<ObjectInformation> find_object_info_exec(RemotePtr<void> addr) const;
+ std::shared_ptr<ObjectInformation> find_object_info_rw(RemotePtr<void> addr) const;
+ Frame* find_function(RemotePtr<void> ip) const;
+ const Variable* find_variable(const char* name) const;