Add CompatibilityGraph and CompatibilityGraphNode

[simgrid.git] / src / mc / explo / UdporChecker.hpp

diff --git a/src/mc/explo/UdporChecker.hpp b/src/mc/explo/UdporChecker.hpp
index cc1604a..7f56d6d 100644 (file)
--- a/src/mc/explo/UdporChecker.hpp
+++ b/src/mc/explo/UdporChecker.hpp
@@ -10,7 +10,6 @@
 #include "src/mc/explo/Exploration.hpp"
 #include "src/mc/explo/udpor/Configuration.hpp"
 #include "src/mc/explo/udpor/EventSet.hpp"
-#include "src/mc/explo/udpor/StateManager.hpp"
 #include "src/mc/explo/udpor/Unfolding.hpp"
 #include "src/mc/explo/udpor/UnfoldingEvent.hpp"
 #include "src/mc/mc_record.hpp"
@@ -45,8 +44,10 @@ private:
   /**
    * The total number of events created whilst exploring the unfolding
    */
-  uint32_t nb_events = 0;
-  uint32_t nb_traces = 0;
+  /* FIXME: private fields are not used
+    uint32_t nb_events = 0;
+    uint32_t nb_traces = 0;
+  */
 
   /**
    * @brief The "relevant" portions of the unfolding that must be kept around to ensure that
@@ -74,12 +75,6 @@ private:
    */
   EventSet G;
 
-  /**
-   * Maintains the mapping between handles referenced by events in
-   * the current state of the unfolding
-   */
-  StateManager state_manager_;
-
   /**
    * @brief UDPOR's current "view" of the program it is exploring
    */