X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/2f2db04b850386899392bc06568f17f071f8620f..16f7a7fb199ebea9d85106b74a5e7378038fc6df:/src/mc/ModelChecker.hpp

diff --git a/src/mc/ModelChecker.hpp b/src/mc/ModelChecker.hpp
index 0d51e9e236..d881e64c4f 100644
--- a/src/mc/ModelChecker.hpp
+++ b/src/mc/ModelChecker.hpp
@@ -18,30 +18,11 @@ namespace simgrid::mc {
 /** State of the model-checker (global variables for the model checker)
  */
 class ModelChecker {
-  CheckerSide checker_side_;
-  std::unique_ptr<RemoteProcessMemory> remote_process_memory_;
-  Exploration* exploration_ = nullptr;
 
 public:
   ModelChecker(ModelChecker const&) = delete;
   ModelChecker& operator=(ModelChecker const&) = delete;
-  explicit ModelChecker(std::unique_ptr<RemoteProcessMemory> remote_simulation, int sockfd);
-
-  RemoteProcessMemory& get_remote_process_memory() { return *remote_process_memory_; }
-  Channel& get_channel() { return checker_side_.get_channel(); }
-  void channel_handle_events() { checker_side_.dispatch(); }
-
-  void start();
-
-  /** Let the application take a transition. A new Transition is created iff the last parameter is true */
-  Transition* handle_simcall(aid_t aid, int times_considered, bool new_transition);
-
-  Exploration* get_exploration() const { return exploration_; }
-  void set_exploration(Exploration* exploration) { exploration_ = exploration; }
-
-private:
-  bool handle_message(const char* buffer, ssize_t size);
-  void handle_waitpid();
+  explicit ModelChecker()                      = default;
 };
 
 } // namespace simgrid::mc