• Alexandre Duret-Lutz's avatar
    Use more sba_explicit more often. · a010ebc8
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/minimize.cc, src/tgbaalgos/minimize.hh
    (minimize_dfa, minimize_wdba): Return a sba_explicit_number automaton
    instead of tgba_explicit_number.
    * src/tgba/tgbaexplicit.hh (declare_acceptance_condition): Fix code
    so it works on sba as well.
    * src/tgbaalgos/dotty.cc, src/tgbaalgos/neverclaim.cc: Specialize
    for sba instead of tgba_sba_proxy.
    * src/tgbaalgos/neverclaim.hh: Point to degeneralize().
    a010ebc8
neverclaim.cc 5.31 KB