• Alexandre Duret-Lutz's avatar
    autfilt: Add --is-terminal and --is-weak. · f4cf0f40
    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.