Skip to content
  • Alexandre Duret-Lutz's avatar
    * src/tgbaalgos/gv04.cc, src/tgbaalgos/gv04.hh: New files, partly · 6cce60be
    Alexandre Duret-Lutz authored
    based on Thomas Martinez's src/tgbaalgos/tarjan_on_fly.cc and
    src/tgbaalgos/tarjan_on_fly.hh former implementation.
    * src/tgbaalgos/Makefile.am (libtgbaalgos_la_SOURCES,
    tgbaalgos_HEADERS): Add them.
    * src/tgbatest/ltl2tgba.cc, src/tgbatest/randtgba.cc: Bind the
    new algorithm.
    * src/tgbatest/emptchk.test: Test it.
    6cce60be