• Alexandre Duret-Lutz's avatar
    Deprecate reduce() in favor of ltl_simplifier. · 67f4e8b5
    Alexandre Duret-Lutz authored
    * src/ltlvisit/reduce.hh: Mark the file as obsolete.
    (reduce): Declare this function as obsolete.
    * src/ltlvisit/reduce.cc: Define SKIP_DEPRECATED_WARNING
    so we can include reduce.hh.
    * src/sanity/includes.test: Also use SKIP_DEPRECATED_WARNING
    when compiling headers.
    * iface/dve2/dve2check.cc,
    src/ltltest/equals.cc, src/ltltest/randltl.cc,
    src/ltltest/reduc.cc, src/tgbaalgos/ltl2tgba_fm.hh,
    src/tgbaalgos/ltl2tgba_fm.cc, src/tgbatest/randtgba.cc,
    wrap/python/ajax/spot.in, wrap/python/spot.i: Adjust
    to use ltl_simplifier.
    * src/tgbatest/ltl2tgba.cc: Adjust to use ltl_simplifier,
    and replace -fr1...-fr7 options by a single -fr option.
    * src/tgbatest/spotlbtt.test: Adjust -fr flags accordingly.
    * src/tgbatest/reductgba.cc: Do not include reduce.hh.
    67f4e8b5
ltl2tgba_fm.cc 47.4 KB