22 #include <spot/misc/bitvect.hh> 23 #include <spot/twa/fwd.hh> 56 typedef std::vector<struct nca_st_info*> vect_nca_info;
70 SPOT_API twa_graph_ptr
71 nsa_to_nca(const_twa_graph_ptr aut,
72 bool named_states =
false,
73 vect_nca_info* nca_info =
nullptr);
84 SPOT_API twa_graph_ptr
85 dnf_to_nca(const_twa_graph_ptr aut,
86 bool named_states =
false,
87 vect_nca_info* nca_info =
nullptr);
97 SPOT_API twa_graph_ptr
98 to_nca(const_twa_graph_ptr aut,
bool named_states =
false);
108 SPOT_API twa_graph_ptr
109 nsa_to_dca(const_twa_graph_ptr aut,
bool named_states =
false);
119 SPOT_API twa_graph_ptr
120 dnf_to_dca(const_twa_graph_ptr aut,
bool named_states =
false);
130 SPOT_API twa_graph_ptr
131 to_dca(const_twa_graph_ptr aut,
bool named_states =
false);
Definition: automata.hh:26
Definition: cobuchi.hh:37
A bit vector.
Definition: bitvect.hh:51