22 #include <spot/twa/twagraph.hh> 28 SPOT_API twa_graph_ptr
33 SPOT_API twa_graph_ptr
39 SPOT_API twa_graph_ptr
52 SPOT_API twa_graph_ptr
54 bool share_inf =
false);
66 SPOT_API twa_graph_ptr
68 bool share_fin =
false);
twa_graph_ptr to_generalized_buchi(const const_twa_graph_ptr &aut)
Take an automaton with any acceptance condition and return an equivalent Generalized Büchi automaton...
twa_graph_ptr to_generalized_streett(const const_twa_graph_ptr &aut, bool share_fin=false)
Take an automaton with any acceptance condition and return an equivalent Generalized Streett automato...
twa_graph_ptr streett_to_generalized_buchi_maybe(const const_twa_graph_ptr &in)
Convert Streett acceptance into generalized Büchi only if SPOT_STREET_CONF_MIN is set to a number of ...
twa_graph_ptr to_generalized_rabin(const const_twa_graph_ptr &aut, bool share_inf=false)
Take an automaton with any acceptance condition and return an equivalent Generalized Rabin automaton...
twa_graph_ptr streett_to_generalized_buchi(const const_twa_graph_ptr &in)
Convert Streett acceptance into generalized Büchi acceptance.