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;
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;
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;
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;