• Alexandre Duret-Lutz's avatar
    twa_succ_iterator: rename accessors · f6af2a84
    Alexandre Duret-Lutz authored
    * src/twa/twa.hh, src/ta/ta.hh (current_state,
    current_acceptance_conditions, current_condition): Rename as...
    (dst, acc, cond): ... these.
    * iface/ltsmin/ltsmin.cc, src/kripke/fairkripke.cc,
    src/kripke/fairkripke.hh, src/kripke/kripke.cc,
    src/kripke/kripke.hh, src/kripke/kripkeexplicit.cc,
    src/kripke/kripkeexplicit.hh, src/kripke/kripkeprint.cc,
    src/ta/taexplicit.cc, src/ta/taexplicit.hh, src/ta/taproduct.cc,
    src/ta/taproduct.hh, src/ta/tgtaproduct.cc, src/ta/tgtaproduct.hh,
    src/taalgos/dot.cc, src/taalgos/emptinessta.cc,
    src/taalgos/minimize.cc, src/taalgos/reachiter.cc,
    src/taalgos/tgba2ta.cc, src/twa/taatgba.cc, src/twa/taatgba.hh,
    src/twa/twagraph.hh, src/twa/twaproduct.cc,
    src/twa/twasafracomplement.cc, src/twaalgos/bfssteps.cc,
    src/twaalgos/bfssteps.hh, src/twaalgos/compsusp.cc,
    src/twaalgos/copy.cc, src/twaalgos/emptiness.cc,
    src/twaalgos/gtec/gtec.cc, src/twaalgos/gv04.cc,
    src/twaalgos/lbtt.cc, src/twaalgos/ltl2tgba_fm.cc,
    src/twaalgos/magic.cc, src/twaalgos/minimize.cc,
    src/twaalgos/ndfs_result.hxx, src/twaalgos/reachiter.cc,
    src/twaalgos/se05.cc, src/twaalgos/stats.cc,
    src/twaalgos/stutter.cc, src/twaalgos/tau03.cc,
    src/twaalgos/tau03opt.cc, wrap/python/tests/interdep.py: Adjust.
    * NEWS: Mention the renamings.
    f6af2a84
To find the state of this project's repository at the time of any of these versions, check out the tags.