• Alexandre Duret-Lutz's avatar
    More LTL reductions for W and M. · e6809b8c
    Alexandre Duret-Lutz authored
    * src/ltlvisit/basicreduce.cc: Perform the following reductions:
    (a U b) & (c W b) = (a & c) U b
    (a W b) & (c W b) = (a & c) W b
    (a R b) | (c M b) = (a | c) R b
    (a M b) | (c M b) = (a | c) M b
    * src/ltltest/reduccmp.test: Test them.
To find the state of this project's repository at the time of any of these versions, check out the tags.