21#include <spot/twa/twagraph.hh>
23#include <unordered_map>
36 SPOT_API twa_graph_ptr
42 SPOT_API twa_graph_ptr
52 SPOT_API twa_graph_ptr
66 SPOT_API twa_graph_ptr
68 bool share_inf =
false);
81 SPOT_API twa_graph_ptr
83 bool share_fin =
false);
108 SPOT_API twa_graph_ptr
Definition: automata.hh:26