21#include <spot/twa/fwd.hh>
22#include <spot/misc/common.hh>
143 SPOT_API twa_graph_ptr
160 SPOT_API twa_graph_ptr
183 SPOT_DEPRECATED(
"use to_parity() instead")
184 SPOT_API twa_graph_ptr
185 iar(const const_twa_graph_ptr& aut,
bool pretty_print = false);
194 SPOT_API twa_graph_ptr
195 iar_maybe(const const_twa_graph_ptr& aut,
bool pretty_print = false);
203 SPOT_API twa_graph_ptr
212 SPOT_API twa_graph_ptr
221 SPOT_API twa_graph_ptr
An acceptance condition.
Definition acc.hh:61
Definition automata.hh:26
Definition toparity.hh:30
std::vector< std::string > algorithms_used
Name of algorithms used.
Definition toparity.hh:36
unsigned nb_states_created
Total number of states created.
Definition toparity.hh:32
unsigned nb_edges_created
Total number of edges created.
Definition toparity.hh:34
Options to control various optimizations of to_parity().
Definition toparity.hh:42
bool propagate_col
Definition toparity.hh:116
bool use_last
Definition toparity.hh:50
bool rabin_to_buchi
Definition toparity.hh:102
bool parity_equiv
Definition toparity.hh:69
bool pretty_print
Definition toparity.hh:122
bool car
Definition toparity.hh:72
to_parity_data * datas
Structure used to store some information about the construction.
Definition toparity.hh:124
bool parity_prefix
Definition toparity.hh:91
bool iar
If iar is true, to_parity will try to apply IAR.
Definition toparity.hh:77
bool generic_emptiness
Definition toparity.hh:98
bool use_generalized_rabin
Definition toparity.hh:119
bool bscc
Definition toparity.hh:83
bool reduce_col_deg
Definition toparity.hh:112
bool acc_clean
Definition toparity.hh:66
bool parity_prefix_general
Definition toparity.hh:95
bool tar
Definition toparity.hh:75
bool use_last_post_process
Definition toparity.hh:53
bool buchi_type_to_buchi
Definition toparity.hh:105
bool lar_dfs
Definition toparity.hh:80
bool force_order
Definition toparity.hh:59
bool parity_type_to_parity
Definition toparity.hh:108
bool partial_degen
Definition toparity.hh:63
bool search_ex
Definition toparity.hh:46