• Alexandre Duret-Lutz's avatar
    Implement dual rewritings rules for <>->. · d6587cf5
    Alexandre Duret-Lutz authored
    * src/ltlvisit/simplify.cc (reduce_sere_ltl): New function,
    to factor the code of the []-> and <>-> rewrittings.
    * src/ltltest/reduccmp.test: Add more tests.
    * doc/tl/tl.tex: Document these rewritings.
    d6587cf5