• Alexandre Duret-Lutz's avatar
    rename tgba_succ_iterator as twa_succ_iterator · 5d977847
    Alexandre Duret-Lutz authored
    Automatic mass renaming.
    
    * src/dstarparse/dra2ba.cc, src/dstarparse/nra2nba.cc,
    src/kripke/fairkripke.hh, src/kripke/kripke.hh,
    src/kripke/kripkeprint.cc, src/ta/ta.hh, src/ta/taproduct.hh,
    src/ta/tgta.hh, src/ta/tgtaexplicit.cc, src/ta/tgtaexplicit.hh,
    src/ta/tgtaproduct.cc, src/ta/tgtaproduct.hh,
    src/taalgos/emptinessta.cc, src/taalgos/reachiter.hh,
    src/taalgos/tgba2ta.cc, src/tgba/taatgba.cc, src/tgba/taatgba.hh,
    src/tgba/tgba.cc, src/tgba/tgba.hh, src/tgba/tgbagraph.hh,
    src/tgba/tgbamask.cc, src/tgba/tgbaproduct.cc, src/tgba/tgbaproduct.hh,
    src/tgba/tgbaproxy.cc, src/tgba/tgbaproxy.hh,
    src/tgba/tgbasafracomplement.cc, src/tgba/tgbasafracomplement.hh,
    src/tgbaalgos/bfssteps.hh, src/tgbaalgos/compsusp.cc,
    src/tgbaalgos/dupexp.cc, src/tgbaalgos/gtec/gtec.cc,
    src/tgbaalgos/gtec/gtec.hh, src/tgbaalgos/gv04.cc,
    src/tgbaalgos/lbtt.cc, src/tgbaalgos/magic.cc,
    src/tgbaalgos/ndfs_result.hxx, src/tgbaalgos/reachiter.cc,
    src/tgbaalgos/reachiter.hh, src/tgbaalgos/replayrun.cc,
    src/tgbaalgos/scc.cc, src/tgbaalgos/scc.hh, src/tgbaalgos/se05.cc,
    src/tgbaalgos/stats.cc, src/tgbaalgos/stutter.cc,
    src/tgbaalgos/tau03.cc, src/tgbaalgos/tau03opt.cc: Rename
    tgba_succ_iterator as twa_succ_iterator.
    5d977847
ta.hh 8.59 KB