autfilt --ap=N
autfilt
should have an option --ap=N
that works like the one of ltlfilt
: it selects the automata that use N
atomic propositions.
It would be nice if N
could be a range.
autfilt
should have an option --ap=N
that works like the one of ltlfilt
: it selects the automata that use N
atomic propositions.
It would be nice if N
could be a range.