#include <visitor.hh>
Inheritance diagram for spot::ltl::visitor:
Public Member Functions | |
virtual void | visit (atomic_prop *node)=0 |
virtual void | visit (constant *node)=0 |
virtual void | visit (binop *node)=0 |
virtual void | visit (unop *node)=0 |
virtual void | visit (multop *node)=0 |
Writing visitors is the prefered way to traverse a formula, since it doesn't involve any cast.
If you do not need to modify the visited formula, inherit from spot::ltl:const_visitor instead.
|
Implemented in spot::ltl::clone_visitor, and spot::ltl::postfix_visitor. |
|
Implemented in spot::ltl::clone_visitor, spot::ltl::postfix_visitor, and spot::ltl::unabbreviate_ltl_visitor. |
|
Implemented in spot::ltl::clone_visitor, spot::ltl::unabbreviate_logic_visitor, spot::ltl::postfix_visitor, and spot::ltl::simplify_f_g_visitor. |
|
Implemented in spot::ltl::clone_visitor, and spot::ltl::postfix_visitor. |
|
Implemented in spot::ltl::clone_visitor, and spot::ltl::postfix_visitor. |