• Ala-Eddine Ben-Salem's avatar
    New Automata: TGTA (Transition-based Generalized TA) · c882eadd
    Ala-Eddine Ben-Salem authored and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed
    * src/ta/Makefile.am, src/ta/taexplicit.cc, src/ta/taexplicit.hh,
    src/ta/taproduct.cc, src/ta/tgbta.cc, src/ta/tgbta.hh,
    src/ta/tgbtaexplicit.cc, src/ta/tgbtaexplicit.hh,
    src/ta/tgbtaproduct.cc, src/ta/tgbtaproduct.hh,
    src/taalgos/emptinessta.cc, src/taalgos/emptinessta.hh,
    src/taalgos/sba2ta.cc, src/taalgos/tgba2ta.cc, src/taalgos/tgba2ta.hh,
    src/tgbatest/ltl2tgba.cc: Implementation of TGTA, a new kind of automata
    combining ideas from TGBA and TA.
    c882eadd
tgba2ta.cc 20.4 KB