22#include <spot/twa/twagraph.hh>
34 SPOT_API std::vector<unsigned>
Definition: automata.hh:26
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.