22 #include <spot/twa/twagraph.hh> 28 SPOT_API twa_graph_ptr
31 SPOT_API twa_graph_ptr
twa_graph_ptr cleanup_acceptance_here(twa_graph_ptr aut)
Remove useless acceptance sets.
twa_graph_ptr cleanup_acceptance(const_twa_graph_ptr aut)
Remove useless acceptance sets.