22 #include "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);