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