-
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