• Alexandre Duret-Lutz's avatar
    rename Doxygen groups · 8839f50a
    Alexandre Duret-Lutz authored
    Automatic mass renaming.
    
    * src/dstarparse/public.hh, src/hoaparse/public.hh,
    src/kripke/fairkripke.hh, src/kripke/kripkeprint.hh,
    src/tgba/bdddict.hh, src/tgba/tgba.hh, src/tgba/tgbamask.cc,
    src/tgba/tgbamask.hh, src/tgba/tgbaproduct.hh, src/tgba/tgbaproxy.hh,
    src/tgba/tgbasafracomplement.cc, src/tgba/tgbasafracomplement.hh,
    src/tgbaalgos/are_isomorphic.hh, src/tgbaalgos/bfssteps.hh,
    src/tgbaalgos/canonicalize.hh, src/tgbaalgos/degen.hh,
    src/tgbaalgos/dotty.hh, src/tgbaalgos/dupexp.hh,
    src/tgbaalgos/emptiness.hh, src/tgbaalgos/hoa.hh,
    src/tgbaalgos/isdet.hh, src/tgbaalgos/isweakscc.hh,
    src/tgbaalgos/lbtt.hh, src/tgbaalgos/ltl2taa.hh,
    src/tgbaalgos/ltl2tgba_fm.hh, src/tgbaalgos/minimize.hh,
    src/tgbaalgos/neverclaim.hh, src/tgbaalgos/postproc.hh,
    src/tgbaalgos/powerset.hh, src/tgbaalgos/projrun.hh,
    src/tgbaalgos/randomgraph.hh, src/tgbaalgos/reachiter.hh,
    src/tgbaalgos/reducerun.hh, src/tgbaalgos/replayrun.hh,
    src/tgbaalgos/simulation.hh, src/tgbaalgos/stats.hh,
    src/tgbaalgos/stripacc.hh, src/tgbaalgos/translate.hh:
    Rename all documention group starting with tgba_ as
    group starting with twa_.
    8839f50a