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