Skip to content
  • Alexandre Duret-Lutz's avatar
    Replace spot::ltl_file by a rewritten spot::ltl::ltl_file. · 4ff875f4
    Alexandre Duret-Lutz authored
    * src/tgba/tgbafromfile.cc, src/tgba/tgbafromfile.hh: Delete these
    files.
    * src/tgba/Makefile.am: Remove them.
    * src/ltl/ltlparse/ltlfile.hh, src/ltl/ltlparse/ltlfile.cc: New
    files.
    * src/ltl/ltlparse/Makefile.am: Add them.
    * bench/scc-stats/stats.cc, bench/split-product/cutscc.cc: Rewrite
    using the new class.
    4ff875f4