Move the automaton from mc::api to Liveness. An ugly trick is needed :(

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

diff --git a/src/mc/api.hpp b/src/mc/api.hpp
index fda31aa..b07437a 100644 (file)
--- 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