22 #include <spot/twa/twagraph.hh> 105 SPOT_API twa_graph_ptr
106 to_parity(
const const_twa_graph_ptr &aut,
122 SPOT_API twa_graph_ptr
146 SPOT_API twa_graph_ptr
147 iar(const const_twa_graph_ptr& aut,
bool pretty_print = false);
156 SPOT_API twa_graph_ptr
157 iar_maybe(const const_twa_graph_ptr& aut,
bool pretty_print = false);
Definition: automata.hh:26
bool force_degen
Definition: toparity.hh:50
bool partial_degen
Definition: toparity.hh:47
bool use_last
Definition: toparity.hh:37
bool parity_prefix
Definition: toparity.hh:71
bool pretty_print
Definition: toparity.hh:85
bool search_ex
Definition: toparity.hh:33
Options to control various optimizations of to_parity().
Definition: toparity.hh:28
bool acc_clean
Definition: toparity.hh:53
An acceptance condition.
Definition: acc.hh:60
bool rabin_to_buchi
Definition: toparity.hh:75
bool reduce_col_deg
Definition: toparity.hh:78
bool force_order
Definition: toparity.hh:43
bool propagate_col
Definition: toparity.hh:82
bool parity_equiv
Definition: toparity.hh:57