• Alexandre Duret-Lutz's avatar
    * src/tgba/succiterconcrete.hh · 50b69942
    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..
ChangeLog 42.9 KB