-
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