-
Guillaume Sadegh authored
the original automaton has no acceptance condition. * src/tgba/tgbasgba.cc, src/tgba/tgbasgba.hh: New option: when the original automaton has no accepting condition, it explicitly considers that every state is accepting.
44ab903b