spot
1.2.6
|
Formula visitor. More...
#include <ltlast/visitor.hh>
Public Member Functions | |
virtual void | visit (const atomic_prop *node)=0 |
virtual void | visit (const constant *node)=0 |
virtual void | visit (const binop *node)=0 |
virtual void | visit (const unop *node)=0 |
virtual void | visit (const multop *node)=0 |
virtual void | visit (const automatop *node)=0 |
virtual void | visit (const bunop *node)=0 |
Formula visitor.
Implementing visitors is the prefered way to traverse a formula, since it does not involve any cast.