• Alexandre Duret-Lutz's avatar
    is_unambiguous: rewrite more efficiently · 5384a3b8
    Alexandre Duret-Lutz authored
    Avoid calling scc_info::determine_unknown_acceptance on the product, as
    suggested in #188.
    * spot/twaalgos/isunamb.cc (is_unambiguous): Rewrite.
    * tests/core/unambig.test: Add the automaton from #188.
    * NEWS: Mention the improved function.
    * spot/twaalgos/mask.cc,
    spot/twaalgos/mask.hh (mask_keep_accessible_states): New function.
To find the state of this project's repository at the time of any of these versions, check out the tags.