• 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
basicreduce.cc 13.4 KB