-
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
To find the state of this project's repository at the time of any of these versions, check out the tags.