22 #include "twa/twagraph.hh"
SPOT_API bool is_deterministic(const const_twa_graph_ptr &aut)
Return true iff aut is deterministic.
SPOT_API unsigned count_nondet_states(const const_twa_graph_ptr &aut)
Count the number of non-deterministic states in aut.
SPOT_API bool is_complete(const const_twa_graph_ptr &aut)
Return true iff aut is complete.