• Alexandre Duret-Lutz's avatar
    Implement 11 rewritings for []->. · 6f46345c
    Alexandre Duret-Lutz authored
    * src/ltlvisit/simplify.cc: Here.
    * doc/tl/tl.tex: Document then.
    * src/ltlast/bunop.hh (as_KleenStar): New helper function.
    * src/ltltest/reduccmp.test: Add more tests.
    * src/ltltest/reduc.cc: Also display the resulting formula
    without reduce_size_stricly.
    6f46345c