21#include <spot/twa/twagraph.hh>
39 SPOT_API twa_graph_ptr
42 SPOT_API twa_graph_ptr
67 SPOT_API twa_graph_ptr
70 SPOT_API twa_graph_ptr
84 SPOT_API twa_graph_ptr
86 bool preserve_sbacc =
false);
98 SPOT_API twa_graph_ptr
100 bool preserve_sbacc =
false);
Definition: automata.hh:26