22 #include <spot/twa/twagraph.hh> 34 SPOT_API twa_graph_ptr
twa_graph_ptr separate_sets_here(const twa_graph_ptr &aut)
Separate the Fin and Inf sets used by an automaton.
bool has_separate_sets(const const_twa_graph_ptr &aut)
Whether the Inf and Fin numbers are disjoints.