XBT_PUBLIC int xbt_automaton_transition_compare(const_xbt_automaton_transition_t t1,
const_xbt_automaton_transition_t t2);
XBT_PUBLIC int xbt_automaton_exp_label_compare(const_xbt_automaton_exp_label_t l1, const_xbt_automaton_exp_label_t l2);
XBT_PUBLIC int xbt_automaton_transition_compare(const_xbt_automaton_transition_t t1,
const_xbt_automaton_transition_t t2);
XBT_PUBLIC int xbt_automaton_exp_label_compare(const_xbt_automaton_exp_label_t l1, const_xbt_automaton_exp_label_t l2);