22 #include <spot/twa/twagraph.hh> 39 SPOT_API twa_graph_ptr
43 SPOT_API twa_graph_ptr
twa_graph_ptr remove_fin(const const_twa_graph_ptr &aut)
Rewrite an automaton without Fin acceptance.
twa_graph_ptr rabin_to_buchi_maybe(const const_twa_graph_ptr &aut)
Convert a state-based Rabin automaton to Büchi automaton, preserving determinism when possible...