• 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
simulation.cc 22.6 KB