Kill two more unused functions in mc::api

diff --git a/src/mc/api.cpp b/src/mc/api.cpp
index 393471e..3aa9b9d 100644 (file)
--- a/src/mc/api.cpp
+++ b/src/mc/api.cpp
@@ -85,28 +85,6 @@ xbt::string const& Api::get_actor_name(smx_actor_t actor) const
   return info->name;
 }
 
-std::string Api::get_actor_string(smx_actor_t actor) const
-{
-  std::string res;
-  if (actor) {
-    res = "(" + std::to_string(actor->get_pid()) + ")";
-    if (actor->get_host())
-      res += std::string(get_actor_host_name(actor)) + " (" + std::string(get_actor_name(actor)) + ")";
-    else
-      res += get_actor_name(actor);
-  } else
-    res = "(0) ()";
-  return res;
-}
-
-std::string Api::get_actor_dot_label(smx_actor_t actor) const
-{
-  std::string res = "(" + std::to_string(actor->get_pid()) + ")";
-  if (actor->get_host())
-    res += get_actor_host_name(actor);
-  return res;
-}
-
 simgrid::mc::Checker* Api::initialize(char** argv, simgrid::mc::CheckerAlgorithm algo) const
 {
   auto session = new simgrid::mc::Session([argv] {

diff --git a/src/mc/api.hpp b/src/mc/api.hpp
index b2ca63f..f871ee6 100644 (file)
--- a/src/mc/api.hpp
+++ b/src/mc/api.hpp
@@ -53,9 +53,6 @@ private:
   };
 
 public:
-  std::string get_actor_string(smx_actor_t actor) const;
-  std::string get_actor_dot_label(smx_actor_t actor) const;
-
   // No copy:
   Api(Api const&) = delete;
   void operator=(Api const&) = delete;