spot
0.9.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.
virtual spot::ltl::visitor::~visitor | ( | ) | [inline, virtual] |
virtual void spot::ltl::visitor::visit | ( | const atomic_prop * | node | ) | [pure virtual] |
Implemented in spot::ltl::clone_visitor, and spot::ltl::postfix_visitor.
virtual void spot::ltl::visitor::visit | ( | const constant * | node | ) | [pure virtual] |
Implemented in spot::ltl::clone_visitor, and spot::ltl::postfix_visitor.
virtual void spot::ltl::visitor::visit | ( | const binop * | node | ) | [pure virtual] |
virtual void spot::ltl::visitor::visit | ( | const 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 | ( | const multop * | node | ) | [pure virtual] |
Implemented in spot::ltl::clone_visitor, and spot::ltl::postfix_visitor.
virtual void spot::ltl::visitor::visit | ( | const automatop * | node | ) | [pure virtual] |
Implemented in spot::ltl::clone_visitor, and spot::ltl::postfix_visitor.
virtual void spot::ltl::visitor::visit | ( | const bunop * | node | ) | [pure virtual] |
Implemented in spot::ltl::clone_visitor, and spot::ltl::postfix_visitor.