spot
0.8.1
|
Formula visitor that can modify the formula.Writing visitors is the prefered way to traverse a formula, since it doesn't involve any cast. More...
#include <ltlast/visitor.hh>
Public Member Functions | |
virtual | ~visitor () |
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 |
virtual void | visit (automatop *node)=0 |
Formula visitor that can modify the formula.
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.
virtual spot::ltl::visitor::~visitor | ( | ) | [inline, virtual] |
virtual void spot::ltl::visitor::visit | ( | atomic_prop * | node | ) | [pure virtual] |
Implemented in spot::ltl::clone_visitor, and spot::ltl::postfix_visitor.
virtual void spot::ltl::visitor::visit | ( | constant * | node | ) | [pure virtual] |
Implemented in spot::ltl::clone_visitor, and spot::ltl::postfix_visitor.
virtual void spot::ltl::visitor::visit | ( | binop * | node | ) | [pure virtual] |
virtual void spot::ltl::visitor::visit | ( | unop * | node | ) | [pure virtual] |
Implemented in spot::ltl::unabbreviate_ltl_visitor, spot::ltl::clone_visitor, and spot::ltl::postfix_visitor.
virtual void spot::ltl::visitor::visit | ( | multop * | node | ) | [pure virtual] |
Implemented in spot::ltl::clone_visitor, and spot::ltl::postfix_visitor.
virtual void spot::ltl::visitor::visit | ( | automatop * | node | ) | [pure virtual] |
Implemented in spot::ltl::clone_visitor, and spot::ltl::postfix_visitor.