22 #include <spot/twa/twagraph.hh> 65 SPOT_API twa_graph_ptr
66 degeneralize(
const const_twa_graph_ptr& a,
bool use_z_lvl =
true,
67 bool use_cust_acc_orders =
false,
68 int use_lvl_cache = 1,
69 bool skip_levels =
true,
70 bool ignaccsl =
false,
71 bool remove_extra_scc =
true);
73 SPOT_API twa_graph_ptr
74 degeneralize_tba(
const const_twa_graph_ptr& a,
bool use_z_lvl =
true,
75 bool use_cust_acc_orders =
false,
76 int use_lvl_cache = 1,
77 bool skip_levels =
true,
78 bool ignaccsl =
false,
79 bool remove_extra_scc =
true);
Definition: automata.hh:26