X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/3690ed44d179e57962bb0f4e377057314cd79455..345fcae28e91f3e15ad223312fc74ad585606f34:/src/mc/api.hpp

diff --git a/src/mc/api.hpp b/src/mc/api.hpp
index fda31aae94..b07437aa39 100644
--- a/src/mc/api.hpp
+++ b/src/mc/api.hpp
@@ -70,21 +70,11 @@ public:
   bool snapshot_equal(const Snapshot* s1, const Snapshot* s2) const;
   simgrid::mc::Snapshot* take_snapshot(long num_state) const;
 
-  // SESSION APIs
-  void s_close();
-
   // AUTOMATION APIs
-  void automaton_load(const char* file) const;
-  std::vector<int> automaton_propositional_symbol_evaluate() const;
-  std::vector<xbt_automaton_state_t> get_automaton_state() const;
-  int compare_automaton_exp_label(const xbt_automaton_exp_label* l) const;
-  void set_property_automaton(xbt_automaton_state_t const& automaton_state) const;
   inline DerefAndCompareByActorsCountAndUsedHeap compare_pair() const
   {
     return DerefAndCompareByActorsCountAndUsedHeap();
   }
-  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;
 };
 
 } // namespace simgrid::mc