22 #include <spot/twa/twagraph.hh>
bool is_complete(const const_twa_graph_ptr &aut)
Return true iff aut is complete.
bool is_deterministic(const const_twa_graph_ptr &aut)
Return true iff aut is deterministic.
bool is_semi_deterministic(const const_twa_graph_ptr &aut)
Return true iff aut is semi-deterministic.
void highlight_nondet_edges(twa_graph_ptr &aut, unsigned color)
Highlight nondeterministic edges.
unsigned count_nondet_states(const const_twa_graph_ptr &aut)
Count the number of states with non-deterministic branching in aut.
bool is_universal(const const_twa_graph_ptr &aut)
Return true iff aut is universal.
void highlight_nondet_states(twa_graph_ptr &aut, unsigned color)
Highlight nondeterministic states.