22 #include <spot/twa/twagraph.hh> 31 SPOT_API twa_graph_ptr
32 cleanup_acceptance_here(twa_graph_ptr aut,
bool strip =
true);
35 SPOT_API twa_graph_ptr
36 cleanup_acceptance(const_twa_graph_ptr aut);
44 SPOT_API twa_graph_ptr
45 simplify_acceptance_here(twa_graph_ptr aut);
48 SPOT_API twa_graph_ptr
49 simplify_acceptance(const_twa_graph_ptr aut);
Definition: automata.hh:26