• Alexandre Duret-Lutz's avatar
    stats: rename structures and attribute for concistency · 4a91fccc
    Alexandre Duret-Lutz authored
    * src/taalgos/stats.cc, src/taalgos/stats.hh
    (tgba_statistics::transitions, tgba_sub_statistics::sub_transitions):
    Rename ...
    (twa_statistics::edges, twa_sub_statistics::transitions): ... to
    these.
    * NEWS: Mention it.
    * src/bin/common_aoutput.hh, src/bin/ltlcross.cc,
    src/tests/checkta.cc, src/tests/complementation.cc,
    src/tests/ikwiad.cc, src/tests/ltl2tgba.test,
    src/tests/neverclaimread.test, src/tests/randtgba.cc,
    src/tests/renault.test, src/tests/wdba2.test, src/twaalgos/dtbasat.cc,
    src/twaalgos/dtgbasat.cc, src/twaalgos/stats.cc,
    src/twaalgos/stats.hh, wrap/python/ajax/spotcgi.in: Adjust.
    4a91fccc
neverclaimread.test 7.36 KB