Skip to content
  • Alexandre Duret-Lutz's avatar
    simulation: get rid of the "don't care" simulation reductions · 01590273
    Alexandre Duret-Lutz authored
    Those where never really publicized because they were slow and we failed
    to fix what we hopped to fix with them.  They where never used by
    default.  Getting rid of them will make it easier to cleanup the
    simulation code.
    
    * src/tgbaalgos/simulation.cc, src/tgbaalgos/simulation.hh: Remove
    the simulation code.
    * src/tgbaalgos/postproc.cc, src/tgbaalgos/postproc.hh,
    src/tgbatest/ltl2tgba.cc: Do not call it.
    * src/bin/spot-x.cc: Update doc.
    * src/tgbatest/sim.test: Delete this file.
    * src/tgbatest/Makefile.am: Adjust.
    * src/tgbatest/spotlbtt.test, bench/ltl2tgba/tools.sim:
    Remove uses to don't care simulation.
    01590273