-
Alexandre Duret-Lutz authored
(tgba_succ_iterator_concrete::current_acc_): New attribute. * src/tgba/succiterconcrete.cc (tgba_succ_iterator_concrete::next): Set current_acc_. (tgba_succ_iterator_concrete::current_accepting_conditions): Simply return it.
50b69942
To find the state of this project's repository at the time of any of these versions, check out the tags.