• Alexandre Duret-Lutz's avatar
    * src/ltlvisit/reducform.hh (option): Rename as ... · 8f82f1d5
    Alexandre Duret-Lutz authored
    (reduce_options): ... this, and use it as a bit field so
    option can be combined easily.
    (reduce): Adjust argument.
    (reduce_form): Remove, not needed anymore.
    * src/ltlvisit/reducform.cc, src/ltltest/reduc.cc,
    src/tgbatest/ltl2tgba.cc: Adjust.
    8f82f1d5