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.