• Alexandre Duret-Lutz's avatar
    Refine yesterday's change to the degeneralization. · 9d232af8
    Alexandre Duret-Lutz authored
    This avoids a small regression on the size of degeneralized
    automata of our usual list of literature formulae.
    * src/tgba/tgbatba.hh, src/tgba/tgbatba.cc
    New method.
    * src/tgba/tgbatba.cc (tgba_tba_proxy_succ_iterator): In accepting
    states, ignore only the last expected acceptance condition if its
    common to all outgoing transitions AND if it is not used by any
    outgoing transitions of the destination.
tgbatba.cc 16.7 KB