Go to the source code of this file.
Referenced by spot::taa_tgba_labelled< std::string, string_hash >::format_state(), and spot::tgba_explicit_labelled< std::string, string_hash >::get_label().