spot
1.0.1
|
Formula visitorImplementing visitors is the prefered way to traverse a formula, since it does not involve any cast. More...
#include <ltlast/visitor.hh>
Public Member Functions | |
virtual | ~visitor () |
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.
|
inlinevirtual |
|
pure virtual |
Implemented in spot::ltl::clone_visitor, and spot::ltl::postfix_visitor.
|
pure virtual |
Implemented in spot::ltl::clone_visitor, and spot::ltl::postfix_visitor.
|
pure virtual |
|
pure virtual |
Implemented in spot::ltl::unabbreviate_ltl_visitor, spot::ltl::clone_visitor, and spot::ltl::postfix_visitor.
|
pure virtual |
Implemented in spot::ltl::clone_visitor, and spot::ltl::postfix_visitor.
|
pure virtual |
Implemented in spot::ltl::clone_visitor, and spot::ltl::postfix_visitor.
|
pure virtual |
Implemented in spot::ltl::clone_visitor, and spot::ltl::postfix_visitor.