Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    unabbreviate: enable removal of R · 30883378
    Alexandre Duret-Lutz authored 
    This implies learning alternative rules for G, and W as well, since
those would use R.

Fixes #103.  Suggested by Joachim Klein.

* src/ltlvisit/unabbrev.cc, src/ltlvisit/unabbrev.hh: Implement the
new rules.
* doc/tl/tl.tex: Document the rules.
* src/tests/unabbrevwm.test: Test them.
* src/bin/ltlfilt.cc, NEWS: Mention that --unabbreviate accepts R.
    30883378
To find the state of this project's repository at the time of any of these versions, check out the tags.