21#include <spot/twa/twagraph.hh>
bool is_unambiguous(const const_twa_graph_ptr &aut)
Whether the automaton aut is unambiguous.
bool check_unambiguous(const twa_graph_ptr &aut)
Like is_unambiguous(), but also sets the property in the twa.
Definition: automata.hh:26