Skip to content

Add --is-terminal automaton to autfilt

is_guarantee_automaton is a simplified version of this feature.

We should have a similar function that uses is_complete_scc instead of checking for a true self-loop.