22 #include <spot/twa/twagraph.hh> 24 #include <unordered_map> 37 SPOT_API twa_graph_ptr
43 SPOT_API twa_graph_ptr
53 SPOT_API twa_graph_ptr
67 SPOT_API twa_graph_ptr
69 bool share_inf =
false);
82 SPOT_API twa_graph_ptr
84 bool share_fin =
false);
102 SPOT_API twa_graph_ptr
119 dnf_to_streett(
const const_twa_graph_ptr& aut,
bool original_states =
false);
Definition: automata.hh:26