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