spot
0.8.2
|
Formula visitor that cannot modify the formula. More...
#include <ltlast/visitor.hh>
Public Member Functions | |
virtual | ~const_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 |
Formula visitor that cannot modify the formula.
Writing visitors is the prefered way to traverse a formula, since it doesn't involve any cast.
If you want to modify the visited formula, inherit from spot::ltl:visitor instead.
virtual spot::ltl::const_visitor::~const_visitor | ( | ) | [inline, virtual] |
virtual void spot::ltl::const_visitor::visit | ( | const atomic_prop * | node | ) | [pure virtual] |
virtual void spot::ltl::const_visitor::visit | ( | const constant * | node | ) | [pure virtual] |
virtual void spot::ltl::const_visitor::visit | ( | const binop * | node | ) | [pure virtual] |
virtual void spot::ltl::const_visitor::visit | ( | const unop * | node | ) | [pure virtual] |
virtual void spot::ltl::const_visitor::visit | ( | const multop * | node | ) | [pure virtual] |
virtual void spot::ltl::const_visitor::visit | ( | const automatop * | node | ) | [pure virtual] |