• Alexandre Duret-Lutz's avatar
    * src/tgba/bdddict.hh, src/tgba/state.hh, src/tgba/statebdd.hh, · 2cd298e4
    Alexandre Duret-Lutz authored
    src/tgba/succiter.hh, src/tgba/succiterconcrete.hh,
    src/tgba/tgba.hh, src/tgba/tgbabddconcrete.hh,
    src/tgba/tgbabddconcreteproduct.hh, src/tgba/tgbaexplicit.hh,
    src/tgba/tgbaproduct.hh, src/tgba/tgbareduc.hh,
    src/tgba/tgbatba.hh, src/tgbaalgos/emptiness.hh,
    src/tgbaalgos/magic.hh, src/tgbaalgos/replayrun.hh,
    src/tgbaalgos/gtec/gtec.hh, iface/gspn/ssp.hh: Introduce Doxygen
    groups in the documentation.  Presently this only covers the
    tgba/ directory, and the emptiness-check algorithms.
    * doc/Doxyfile.in (EXCLUDE_PATTERNS): Skip Bison-generated files
    in src/evtgbaparse/.
    2cd298e4
bdddict.hh 7.59 KB