-
Alexandre Duret-Lutz authored
* src/tgbaalgos/postproc.cc, src/tgbaalgos/postproc.hh: Add a "simul-limit" option, and add two new cases to "simul" for the two don't care simulation * src/bin/man/ltl2tgba.x: Mention the new options.
bc7a2865
* src/tgbaalgos/postproc.cc, src/tgbaalgos/postproc.hh: Add a "simul-limit" option, and add two new cases to "simul" for the two don't care simulation * src/bin/man/ltl2tgba.x: Mention the new options.