22 #include <spot/twa/twagraph.hh>
28 SPOT_API twa_graph_ptr
29 to_generalized_buchi(
const const_twa_graph_ptr& aut);
33 SPOT_API twa_graph_ptr
34 streett_to_generalized_buchi(
const const_twa_graph_ptr& in);
39 SPOT_API twa_graph_ptr
40 streett_to_generalized_buchi_maybe(
const const_twa_graph_ptr& in);