Skip to content
Find file Blame History Permalink
  • Thomas Badie's avatar
    Create the direct simulation. · 876f8c90
    Thomas Badie authored 
    * src/tgbaalgos/simulation.cc, src/tgbaalgos/simulation.hh: New files.
* src/tgbaalgos/Makefile.am: Add the new files to the compilation.
* src/tgbatest/spotlbtt.test: Add the simulation.
* src/tgbatest/ltl2tgba.cc: Add direct simulation (-RSD).
    876f8c90