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);
109 SPOT_API twa_graph_ptr
Definition: automata.hh:27