22 #include <spot/twa/twagraph.hh>
85 SPOT_API twa_graph_ptr
87 bool use_cust_acc_orders =
false,
88 int use_lvl_cache = 1,
89 bool skip_levels =
true,
90 bool ignaccsl =
false,
91 bool remove_extra_scc =
true);
93 SPOT_API twa_graph_ptr
94 degeneralize_tba(
const const_twa_graph_ptr& a,
bool use_z_lvl =
true,
95 bool use_cust_acc_orders =
false,
96 int use_lvl_cache = 1,
97 bool skip_levels =
true,
98 bool ignaccsl =
false,
99 bool remove_extra_scc =
true);
136 SPOT_API twa_graph_ptr
139 SPOT_API twa_graph_ptr
164 bool allow_inf =
true,
165 bool allow_fin =
true,
166 std::vector<acc_cond::mark_t> forbid = {});
184 SPOT_API std::vector<acc_cond::mark_t>
Compute an SCC map and gather assorted information.
Definition: sccinfo.hh:443
void propagate_marks_here(twa_graph_ptr &aut, const scc_info *si=nullptr)
Propagate marks around the automaton.
std::vector< acc_cond::mark_t > propagate_marks_vector(const const_twa_graph_ptr &aut, const scc_info *si=nullptr)
Propagate marks around the automaton.
Definition: automata.hh:27
acc_cond::mark_t is_partially_degeneralizable(const const_twa_graph_ptr &aut, bool allow_inf=true, bool allow_fin=true, std::vector< acc_cond::mark_t > forbid={})
Is the automaton partially degeneralizable?
An acceptance mark.
Definition: acc.hh:85