Skip to content
  • Alexandre Duret-Lutz's avatar
    Remove the old broken game-theory-based simulation reductions. · 7e587584
    Alexandre Duret-Lutz authored
    This implementation of direct simulation was only working on
    degeneralized automata, and produce automata that are inferiors to
    those output by the new direct simulation implementation (in
    tgba/simulation.hh) which can also work on TGBA.  The delayed
    simulation has never been reliable.  It's time for some spring
    cleaning.
    
    * src/tgba/tgbareduc.hh, src/tgba/tgbareduc.cc: Delete.
    * src/tgba/Makefile.am: Adjust.
    * src/tgbaalgos/reductgba_sim.cc, src/tgbaalgos/reductgba_sim.hh:
    Remove all code, and keep only a deprecated replacement
    from reduc_tgba_sim().
    * src/tgbaalgos/reductgba_sim_del.cc: Delete.
    * src/tgbaalgos/Makefile.am: Adjust.
    * src/tgbatest/reduccmp.test, src/tgbatest/reductgba.cc,
    src/tgbatest/reductgba.test: Delete.
    * src/tgbatest/Makefile.am: Adjust.
    * src/tgbatest/ltl2tgba.cc: Undocument options -R1s, -R1t,
    -R2s, -R2t, and implement them using the new direct simulation.
    Remove options -Rd and -RD.
    * src/tgbatest/spotlbtt.test: Remove entry using these old options.
    * wrap/python/spot.i: Do not process tgbaalgos/reductgba_sim.cc.
    7e587584