22 #include <spot/misc/bitvect.hh> 23 #include <spot/twa/fwd.hh> 56 typedef std::vector<struct nca_st_info*> vect_nca_info;
73 SPOT_API twa_graph_ptr
81 nsa_to_nca(const_twa_graph_ptr aut,
82 bool named_states =
false,
83 vect_nca_info* nca_info =
nullptr);
101 SPOT_API twa_graph_ptr
106 dnf_to_nca(const_twa_graph_ptr aut,
107 bool named_states =
false,
108 vect_nca_info* nca_info =
nullptr);
118 SPOT_API twa_graph_ptr
119 to_nca(const_twa_graph_ptr aut,
bool named_states =
false);
137 SPOT_API twa_graph_ptr
141 nsa_to_dca(const_twa_graph_ptr aut,
bool named_states =
false);
159 SPOT_API twa_graph_ptr
163 dnf_to_dca(const_twa_graph_ptr aut,
bool named_states =
false);
173 SPOT_API twa_graph_ptr
174 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