• Alexandre Duret-Lutz's avatar
    Speedup mark_concat_ops() and simplify_mark() with a cache. · 0f11e5fe
    Alexandre Duret-Lutz authored
    * src/ltlvisit/mark.hh, src/ltlvisit/mark.cc (mark_concat_ops,
    simplify_mark): Rewrite these two functions as methods of
    (mark_tools): this new class.
    * src/ltlast/binop.cc, src/ltlast/unop.cc: Adjust computation
    of not_marked to ignore marked operators that are not at
    the top-level.  I.e., something like X(!{a}) is not marked.
    * src/tgbaalgos/ltl2tgba_fm.cc (translate_dict::mt): New
    instance of mark_tools.
    (formula_canonizer::translate) Adjust calls to
    mark_concat_ops() and simplify_mark().