+ std::string const& get_host_name(const char* hostname)
+ {
+ return *this->hostnames_.insert(hostname).first;
+ }
+ std::string const& get_host_name(std::string const& hostname)
+ {
+ return *this->hostnames_.insert(hostname).first;
+ }
+
+ void start();
+ void shutdown();
+ void resume(simgrid::mc::Process& process);
+ void loop();
+ bool handle_events();
+ void wait_client(simgrid::mc::Process& process);
+ void handle_simcall(Transition const& transition);
+ void wait_for_requests()