-
Alexandre Duret-Lutz authored
| tgba_succ_iterator* i = aut->succ_iter(s); | for (i->begin(); !i->done(); i->next()) | { | // ... | } | delete i; becomes | for (auto i: aut->succ(s)) | { | // ... | } hiding the begin()/done()/next() interface, taking care of the delete, and allowing more optimization to come. * src/tgba/succiter.hh, src/tgba/tgba.hh: Implement the above new interface. * iface/gspn/ssp.cc, src/dstarparse/nsa2tgba.cc, src/saba/sabacomplementtgba.cc, src/tgba/tgbakvcomplement.cc, src/tgba/tgbamask.cc, src/tgba/tgbasafracomplement.cc, src/tgba/tgbatba.cc, src/tgbaalgos/compsusp.cc, src/tgbaalgos/cutscc.cc, src/tgbaalgos/degen.cc, src/tgbaalgos/emptiness.cc, src/tgbaalgos/isdet.cc, src/tgbaalgos/ltl2tgba_fm.cc, src/tgbaalgos/minimize.cc, src/tgbaalgos/powerset.cc, src/tgbaalgos/safety.cc, src/tgbaalgos/simulation.cc, src/tgbaalgos/tau03.cc, src/tgbatest/explicit2.cc: Update for loops.
487cd01d