Skip to content
  • Ala-Eddine Ben-Salem's avatar
    Doxygen comments. · c76e651b
    Ala-Eddine Ben-Salem authored and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed
    * src/ta/ta.cc, src/ta/ta.hh, src/ta/taexplicit.hh,
    src/ta/taproduct.cc, src/ta/taproduct.hh, src/ta/tgbtaexplicit.cc,
    src/ta/taexplicit.cc, src/ta/tgbtaproduct.cc,
    src/taalgos/emptinessta.cc, src/taalgos/emptinessta.hh,
    src/taalgos/tgba2ta.cc, src/taalgos/tgba2ta.hh,
    src/tgbatest/ltl2ta.test, src/tgbatest/ltl2tgba.cc: Add Doxygen
    comments.
    c76e651b