Skip to content
  • Alexandre Duret-Lutz's avatar
    dotty: get rid of the decorated version · 49701ca3
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/dottydec.cc, src/tgbaalgos/dottydec.hh,
    src/tgbaalgos/rundotdec.cc, src/tgbaalgos/rundotdec.hh: Delete.
    * src/tgbaalgos/Makefile.am, wrap/python/spot.i: Adjust.
    * src/tgbaalgos/dotty.cc, src/tgbaalgos/dotty.hh: Remove the
    decorated version, and the related arguments.
    * src/bin/common_aoutput.cc, src/bin/dstar2tgba.cc,
    src/tgbatest/ltl2tgba.cc, src/tgbatest/complementation.cc,
    src/tgbatest/emptchk.cc: Adjust calls.
    * wrap/python/ajax/spot.in: Draw the accepting run as an
    automaton instead of painting it.
    * wrap/python/ajax/ltl2tgba.html: Update help text.
    49701ca3