• Ala-Eddine Ben-Salem's avatar
    Stable version of TGTA approach implementation (automaton + product) · 5a706300
    Ala-Eddine Ben-Salem authored and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed
    * src/ta/tgta.hh, src/ta/tgta.cc, src/ta/tgtaexplicit.hh,
    src/ta/tgtaexplicit.hh, src/ta/tgtaproduct.hh, src/ta/tgtaproduct.cc,
    src/taalgos/minimize.cc, src/taalgos/minimize.hh,
    src/taalgos/emptinessta.hh, src/taalgos/emptinessta.hh,
    src/taalgos/emptinessta.cc, src/taalgos/tgba2ta.hh,
    src/taalgos/tgba2ta.cc: rename tgbta to tgta
    in this source files.
    * src/ta/tgbtaexplicit.hh, src/ta/tgbtaproduct.hh,  src/ta/tgbta.cc,
    src/ta/tgbtaproduct.cc, src/ta/tgbta.hh, src/ta/tgbtaexplicit.cc:
    Rename as...
    * src/ta/taexplicit.cc, src/ta/taexplicit.hh, src/ta/taproduct.cc,
    src/ta/taproduct.hh, src/ta/tgtaexplicit.cc: ... these.
    * src/taalgos/sba2ta.hh, src/taalgos/sba2ta.cc: deleted because
    the implementation of all the transformations beteween TGBA and
    the different forms of TA are new implemented in src/taalgos/tgba2ta.hh
     and src/taalgos/tgba2ta.cc.
    * src/tgbatest/ltl2tgba.cc: rename the options of commands that build
    the different forms of TA.
    * src/ta/ta.hh: BUG Fix
    * src/ta/Makefile.am, src/tgbatest/ltl2ta.test: impacts of this renaming
tgba2ta.cc 22.6 KB