22 #include "twa/twagraph.hh"
SPOT_API bool is_unambiguous(const const_twa_graph_ptr &aut)
Whether the automaton aut is unambiguous.
SPOT_API bool check_unambiguous(const twa_graph_ptr &aut)
Like is_unambiguous(), but also sets the property in the twa.