• Alexandre Duret-Lutz's avatar
    c++11: introduce tgba::succ(s) to replace tgba::succ_iter(s). · 487cd01d
    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
tgba.hh 10.4 KB