• Alexandre Duret-Lutz's avatar
    Offline version of the degeneralization. · 5dbee4fa
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/degen.cc, src/tgbaalgos/degen.hh: New files, with
    most of the logic extracted from src/tgba/tgbatba.cc (SBA version).
    * src/tgbaalgos/Makefile.am: Distribute these.
    * src/tgbatest/ltl2tgba.cc: Use the new degeneralization instead of
    the on-the-fly version.
    5dbee4fa
degen.hh 1.43 KB