Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    Simplify F(a)|F(b) as F(a|b). Add similar rule for G(a)&G(b). · 21402560
    Alexandre Duret-Lutz authored 
    * src/ltlvisit/basicreduce.cc (basic_reduce_visitor): Replace
the FG(a)|FG(b) == FG(a|b) rule by the above more generic one.
Add the dual rule for G(a)&G(b), as we had none (this one won't
improve anything in the translation, but it is more symmetric
this way).  Also simplify some pointer checks.
    21402560
To find the state of this project's repository at the time of any of these versions, check out the tags.