Skip to content
  • Alexandre Duret-Lutz's avatar
    More LTL reductions for W and M. · 28094c87
    Alexandre Duret-Lutz authored
    * src/ltlvisit/basicreduce.cc: Perform the following reductions:
    (a R b) | Gb = a R b
    (a M b) | Gb = a R b
    (a U b) & Fb = a U b
    (a W b) & Fb = a U b
    * src/ltltest/reduccmp.test: Test them.
    28094c87