21#include <spot/twa/twagraph.hh>
84 SPOT_API twa_graph_ptr
86 bool use_cust_acc_orders =
false,
87 int use_lvl_cache = 1,
88 bool skip_levels =
true,
89 bool ignaccsl =
false,
90 bool remove_extra_scc =
true);
92 SPOT_API twa_graph_ptr
93 degeneralize_tba(
const const_twa_graph_ptr& a,
bool use_z_lvl =
true,
94 bool use_cust_acc_orders =
false,
95 int use_lvl_cache = 1,
96 bool skip_levels =
true,
97 bool ignaccsl =
false,
98 bool remove_extra_scc =
true);
135 SPOT_API twa_graph_ptr
138 SPOT_API twa_graph_ptr
166 bool allow_inf =
true,
bool allow_fin =
true,
167 const std::vector<acc_cond::mark_t>&
186 SPOT_API std::vector<acc_cond::mark_t>
Compute an SCC map and gather assorted information.
Definition: sccinfo.hh:449
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:26
acc_cond::mark_t is_partially_degeneralizable(const const_twa_graph_ptr &aut, bool allow_inf=true, bool allow_fin=true, const std::vector< acc_cond::mark_t > &forbid={})
Is the automaton partially degeneralizable?
An acceptance mark.
Definition: acc.hh:84