• Alexandre Duret-Lutz's avatar
    postproc: Add an option_map parameter · 05e59a9e
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/postproc.cc: Add an option_map parameter, and use to get
    extra options to pass to the degeneralization algorithm.
    * src/tgbaalgos/postproc.hh: Adjust prototype, and store Boolean
    variables for degeneralize() options.
    * src/bin/ltl2tgba.cc: Add a -x option to fill the option map, and pass
    it to the postprocessor.
    * src/bin/man/ltl2tgba.x: Document the three degeneralization options.
    05e59a9e
ltl2tgba.x 1.08 KB