• Alexandre Duret-Lutz's avatar
    Add an is_unambiguous() function, use it in ltlcross and autfilt · 98de84f3
    Alexandre Duret-Lutz authored
    * src/twaalgos/isunamb.hh, src/twaalgos/isunamb.cc: New files.
    * src/twaalgos/Makefile.am: Add them.
    * src/tests/unambig.test: New file.
    * src/tests/Makefile.am: Add it.
    * src/bin/ltlcross.cc: Record whether each produced automaton is
    ambiguous.
    * src/bin/autfilt.cc: Add a --is-unambiguous option.
    * NEWS: Mention it.
    98de84f3
autfilt.cc 20.4 KB