src/ltlvisit/simplify.cc · c2ab4e781bda9bb014d21efbd42ddd52d44ad635 · Spot / Spot · GitLab

Find file Blame History Permalink

Rewrite "a U (a&b)" as "b M a", and "a W (a&b)" as "b R a". · c2ab4e78
Alexandre Duret-Lutz authored Jan 05, 2012
```
* src/ltlvisit/simplify.cc (simplify_visitor): Implement these
rules.
* doc/tl/tl.tex: Document these rules.
```
c2ab4e78