• Alexandre Duret-Lutz's avatar
    Remove a quadratic behavior in eventual_universal_visitor. · 2a33bd17
    Alexandre Duret-Lutz authored
    * src/ltlvisit/syntimpl.cc (eventual_universal_visitor): Use
    a union to store the eventual and universal properties as two
    bit in a bit-field, and "AND" both of them at once.
    eventual_universal_visitor::recurse_ev): Replace these
    two functions by ...
    (eventual_universal_visitor::recurse_): ... this one, that
    returns both bits as an unsigned.
To find the state of this project's repository at the time of any of these versions, check out the tags.