• Alexandre Duret-Lutz's avatar
    Implement star-normal-form rewriting. · 6eb830c8
    Alexandre Duret-Lutz authored
    * src/ltlvisit/snf.cc, src/ltlvisit/snf.hh: New files.
    * src/ltlvisit/Makefile.am: Distribute them.
    * src/ltlvisit/simplify.cc, src/ltlvisit/simplify.hh: Call snf(f) for
    all f[*].
    * src/ltltest/reduccmp.test: Test it.
    * doc/tl/tl.tex, doc/tl/tl.bib: Document it.
    6eb830c8