That went ways too far

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

diff --git a/src/mc/api.hpp b/src/mc/api.hpp
index f871ee6..1134b94 100644 (file)
--- a/src/mc/api.hpp
+++ b/src/mc/api.hpp
@@ -81,9 +81,6 @@ public:
   unsigned long mc_get_visited_states() const;
   XBT_ATTRIB_NORETURN void mc_exit(int status) const;
 
-  // SIMCALL APIs
-  std::string request_get_dot_output(const Transition* t) const;
-
   // STATE APIs
   void restore_state(std::shared_ptr<simgrid::mc::Snapshot> system_state) const;
 
@@ -112,9 +109,6 @@ public:
   }
   xbt_automaton_exp_label_t get_automaton_transition_label(xbt_dynar_t const& dynar, int index) const;
   xbt_automaton_state_t get_automaton_transition_dst(xbt_dynar_t const& dynar, int index) const;
-
-  // DYNAR APIs
-  inline unsigned long get_dynar_length(const_xbt_dynar_t const& dynar) const { return xbt_dynar_length(dynar); }
 };
 
 } // namespace mc