|
spot
1.2.6
|
Apply an algorithm on each node of an AST, during a postfix traversal. More...
#include <ltlvisit/postfix.hh>


Public Member Functions | |
| void | visit (const atomic_prop *ap) |
| void | visit (const unop *uo) |
| void | visit (const binop *bo) |
| void | visit (const multop *mo) |
| void | visit (const automatop *c) |
| void | visit (const constant *c) |
| void | visit (const bunop *c) |
| virtual void | doit (const atomic_prop *ap) |
| virtual void | doit (const unop *uo) |
| virtual void | doit (const binop *bo) |
| virtual void | doit (const multop *mo) |
| virtual void | doit (const automatop *mo) |
| virtual void | doit (const constant *c) |
| virtual void | doit (const bunop *c) |
| virtual void | doit_default (const formula *f) |
Apply an algorithm on each node of an AST, during a postfix traversal.
Override one or more of the postifix_visitor::doit methods with the algorithm to apply.
1.8.4