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);
52 SPOT_API twa_graph_ptr
53 to_generalized_rabin(
const const_twa_graph_ptr& aut,
54 bool share_inf =
false);
66 SPOT_API twa_graph_ptr
67 to_generalized_streett(
const const_twa_graph_ptr& aut,
68 bool share_fin =
false);
Definition: automata.hh:26