Skip to content
  • Denis Poitrenaud's avatar
    * src/tgbaalgos/emptiness_stats.hh, src/tgbaalgos/weight.cc, · 0f15d28f
    Denis Poitrenaud authored
    src/tgbaalgos/weight.hh: New files.
    * src/tgbaalgos/Makefile.am: Add them.
    * src/tgbaalgos/magic.cc, src/tgbaalgos/se05.cc,
    src/tgbaalgos/tau03.cc, src/tgbaalgos/tau03opt.cc,
    src/tgbaalgos/gtec/gtec.cc, src/tgbaalgos/gtec/status.cc,
    src/tgbaalgos/gtec/status.hh, : Add emptiness check statistics
    capability.
    * src/tgbatest/randtgba.cc: Print these statistics.
    * src/tgbatest/ltl2tgba.cc: tau03opt search can deal without acceptance
    condition.
    * src/tgbatest/emptchk.test: Test tau03opt search.
    0f15d28f