-
Alexandre Duret-Lutz authored
* src/tgbaalgos/postproc.hh, src/tgbaalgos/postproc.cc: Honor the "simul" option in the option_map. (do_simul, do_degen): New method to wrap the algorithms that may be altered via option_map. * src/bin/man/ltl2tgba.x (simul): Document this option.
5796114e