• Alexandre Duret-Lutz's avatar
    Halve the number of application of eventual_universal_visitor in · c7352498
    Alexandre Duret-Lutz authored
    * src/ltlvisit/reduce.cc (eventual_universal_visitor::recurse_):
    Move this method...
    (recurse_eu): ... outside as a separate function.  Likewise for
    the universal/eventual result struct.
    (reduce_visitor::visit(binop)): Call recurse_eu() once to replace
    two calls to is_eventual and is_universal, thus replacing two
    recursions by one.
To find the state of this project's repository at the time of any of these versions, check out the tags.