• Alexandre Duret-Lutz's avatar
    sccinfo: improve detection of rejecting 1-self-loop SCCs · ad478bd3
    Alexandre Duret-Lutz authored
    As observed in #188, the smaller.hoa automaton is made only of
    1-state/1-self-loop SCCs, for which calling remove_fin is a complete
    waste of time.  This patch alone (i.e., without the other changes
    suggested by #188) improves the run time of
    % autofilt -q --is-unambiguous smaller.hoa
    from 38s to 0.05s.
    * spot/twaalgos/sccinfo.cc: If a single-state SCC has undeterminate SCC
    and only one self-loop, then it is necessarily rejecting.
    * NEWS: Mention the change.
To find the state of this project's repository at the time of any of these versions, check out the tags.