• Alexandre Duret-Lutz's avatar
    rename tgba_ptr into twa_ptr · 8520c4c3
    Alexandre Duret-Lutz authored
    Automatic mass renaming.
    
    * iface/ltsmin/modelcheck.cc, src/dstarparse/dra2ba.cc,
    src/dstarparse/nra2nba.cc, src/ltlvisit/apcollect.cc,
    src/ltlvisit/apcollect.hh, src/ta/taexplicit.cc, src/ta/taexplicit.hh,
    src/ta/tgtaexplicit.cc, src/ta/tgtaexplicit.hh, src/ta/tgtaproduct.hh,
    src/taalgos/tgba2ta.cc, src/taalgos/tgba2ta.hh, src/tgba/fwd.hh,
    src/tgba/tgba.cc, src/tgba/tgba.hh, src/tgba/tgbagraph.hh,
    src/tgba/tgbamask.cc, src/tgba/tgbamask.hh, src/tgba/tgbaproduct.cc,
    src/tgba/tgbaproduct.hh, src/tgba/tgbaproxy.cc, src/tgba/tgbaproxy.hh,
    src/tgbaalgos/bfssteps.cc, src/tgbaalgos/bfssteps.hh,
    src/tgbaalgos/complete.cc, src/tgbaalgos/complete.hh,
    src/tgbaalgos/compsusp.cc, src/tgbaalgos/dotty.cc,
    src/tgbaalgos/dotty.hh, src/tgbaalgos/dtgbasat.cc,
    src/tgbaalgos/dupexp.cc, src/tgbaalgos/dupexp.hh,
    src/tgbaalgos/emptiness.cc, src/tgbaalgos/emptiness.hh,
    src/tgbaalgos/gtec/gtec.cc, src/tgbaalgos/gtec/gtec.hh,
    src/tgbaalgos/gtec/status.cc, src/tgbaalgos/gtec/status.hh,
    src/tgbaalgos/gv04.cc, src/tgbaalgos/gv04.hh, src/tgbaalgos/hoa.cc,
    src/tgbaalgos/hoa.hh, src/tgbaalgos/lbtt.cc, src/tgbaalgos/lbtt.hh,
    src/tgbaalgos/magic.cc, src/tgbaalgos/magic.hh,
    src/tgbaalgos/minimize.cc, src/tgbaalgos/ndfs_result.hxx,
    src/tgbaalgos/neverclaim.cc, src/tgbaalgos/neverclaim.hh,
    src/tgbaalgos/projrun.cc, src/tgbaalgos/projrun.hh,
    src/tgbaalgos/reachiter.cc, src/tgbaalgos/reachiter.hh,
    src/tgbaalgos/reducerun.cc, src/tgbaalgos/reducerun.hh,
    src/tgbaalgos/replayrun.cc, src/tgbaalgos/replayrun.hh,
    src/tgbaalgos/scc.cc, src/tgbaalgos/scc.hh, src/tgbaalgos/se05.cc,
    src/tgbaalgos/se05.hh, src/tgbaalgos/stats.cc, src/tgbaalgos/stats.hh,
    src/tgbaalgos/stutter.cc, src/tgbaalgos/tau03.cc,
    src/tgbaalgos/tau03.hh, src/tgbaalgos/tau03opt.cc,
    src/tgbaalgos/tau03opt.hh, src/tgbatest/checkta.cc,
    src/tgbatest/complementation.cc, src/tgbatest/emptchk.cc,
    src/tgbatest/ltl2tgba.cc, wrap/python/spot_impl.i: Rename tgba_ptr as
    twa_ptr.
    8520c4c3
tgbamask.hh 2.28 KB