-
Alexandre Duret-Lutz authored
Fixes #47. * src/twaalgos/strength.cc, src/twaalgos/strength.hh (is_weak_automaton): New function. (is_terminal_automaton): Generalize slightly. * src/bin/autfilt.cc: Add options --is-terminal and --is-weak. * src/tests/readsave.test: Add a test. * NEWS: Update.
f4cf0f40
To find the state of this project's repository at the time of any of these versions, check out the tags.