23 #include <spot/twa/twagraph.hh>
35 SPOT_API std::vector<unsigned>
Definition: automata.hh:27
std::vector< unsigned > language_map(const const_twa_graph_ptr &aut)
Identify states that recognize the same language.
void highlight_languages(twa_graph_ptr &aut)
Color state that recognize identical language.