|
spot
1.2.6
|
Replace true U f and false R g by F f and G g.
More...
#include <ltlvisit/simpfg.hh>


Public Member Functions | |
| void | visit (const binop *bo) |
| virtual const formula * | recurse (const formula *f) |
| const formula * | result () const |
| void | visit (const atomic_prop *ap) |
| void | visit (const unop *uo) |
| void | visit (const automatop *mo) |
| void | visit (const multop *mo) |
| void | visit (const constant *c) |
| void | visit (const bunop *c) |
Protected Attributes | |
| const formula * | result_ |
Replace true U f and false R g by F f and G g.
Perform the following rewriting (from left to right):
1.8.4