Add ODPOR race detection phase rough-draft

[simgrid.git] / src / mc / api / State.hpp

diff --git a/src/mc/api/State.hpp b/src/mc/api/State.hpp
index fb1429a..cb1297d 100644 (file)
--- a/src/mc/api/State.hpp
+++ b/src/mc/api/State.hpp
@@ -115,6 +115,8 @@ public:
    * backtrack set still contains processes added to the done set.
    */
   std::unordered_set<aid_t> get_backtrack_set() const;
+  std::unordered_set<aid_t> get_sleeping_set() const;
+  std::unordered_set<aid_t> get_enabled_actors() const;
   std::map<aid_t, Transition> const& get_sleep_set() const { return sleep_set_; }
   void add_sleep_set(std::shared_ptr<Transition> t)
   {
@@ -150,6 +152,11 @@ public:
    */
   void remove_subtree_starting_with(aid_t p);
 
+  /**
+   * @brief
+   */
+  void mark_path_interesting_for_odpor(const odpor::PartialExecution&, const odpor::Execution&);
+
   /* Returns the total amount of states created so far (for statistics) */
   static long get_expanded_states() { return expended_states_; }
 };