Move the dot_output from ModelChecker to Exploration

[simgrid.git] / src / mc / ModelChecker.hpp

diff --git a/src/mc/ModelChecker.hpp b/src/mc/ModelChecker.hpp
index 362ca9b..d7a7cc3 100644 (file)
--- a/src/mc/ModelChecker.hpp
+++ b/src/mc/ModelChecker.hpp
@@ -24,8 +24,6 @@ class ModelChecker {
   std::unique_ptr<RemoteProcess> remote_process_;
   Exploration* exploration_ = nullptr;
 
-  FILE* dot_output_ = nullptr;
-
   unsigned long visited_states_ = 0;
 
 public:
@@ -56,18 +54,6 @@ public:
   unsigned long get_visited_states() const { return visited_states_; }
   void inc_visited_states() { visited_states_++; }
 
-  void dot_output(const char* fmt, ...) XBT_ATTRIB_PRINTF(2, 3);
-  void dot_output_flush()
-  {
-    if (dot_output_ != nullptr)
-      fflush(dot_output_);
-  }
-  void dot_output_close()
-  {
-    if (dot_output_ != nullptr)
-      fclose(dot_output_);
-  }
-
 private:
   void setup_ignore();
   bool handle_message(const char* buffer, ssize_t size);