mc_api::compare_automaton_exp_lable() defined. It's called in evaluate_label()

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

diff --git a/src/mc/mc_api.hpp b/src/mc/mc_api.hpp
index f6a4526..48f475d 100644 (file)
--- a/src/mc/mc_api.hpp
+++ b/src/mc/mc_api.hpp
@@ -113,6 +113,8 @@ public:
   #endif
   std::vector<int> automaton_propositional_symbol_evaluate() const;
   std::vector<xbt_automaton_state_t> get_automaton_state() const;
+  int compare_automaton_exp_lable(const xbt_automaton_exp_label* l, std::vector<int> const& values) const;
+
 };
 
 } // namespace mc