• Alexandre Duret-Lutz's avatar
    bin: add --check=unambiguous · 487a86d0
    Alexandre Duret-Lutz authored
    * src/bin/common_aoutput.cc: Add --check=unambiguous.
    * src/twa/twa.hh: New unambiguous property.
    * src/twaalgos/hoa.cc: Print it.
    * src/twaalgos/ltl2tgba_fm.cc: Set it.
    * src/twaalgos/isunamb.cc, src/twaalgos/isunamb.hh
    (check_unambiguous): New function.
    * src/tests/unambig.test: More tests.
    487a86d0