-
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_un, eventual_universal_visitor::recurse_ev): Replace these two functions by ... (eventual_universal_visitor::recurse_): ... this one, that returns both bits as an unsigned.
2a33bd17
To find the state of this project's repository at the time of any of these versions, check out the tags.