spot
0.8.3
|
Apply an algorithm on each node of an AST, during a postfix traversal.Override one or more of the postifix_visitor::doit methods with the algorithm to apply. More...
#include <ltlvisit/postfix.hh>
Public Member Functions | |
postfix_visitor () | |
virtual | ~postfix_visitor () |
void | visit (atomic_prop *ap) |
void | visit (unop *uo) |
void | visit (binop *bo) |
void | visit (multop *mo) |
void | visit (automatop *c) |
void | visit (constant *c) |
virtual void | doit (atomic_prop *ap) |
virtual void | doit (unop *uo) |
virtual void | doit (binop *bo) |
virtual void | doit (multop *mo) |
virtual void | doit (automatop *mo) |
virtual void | doit (constant *c) |
virtual void | doit_default (formula *f) |
Apply an algorithm on each node of an AST, during a postfix traversal.
Override one or more of the postifix_visitor::doit methods with the algorithm to apply.
virtual spot::ltl::postfix_visitor::~postfix_visitor | ( | ) | [virtual] |
virtual void spot::ltl::postfix_visitor::doit | ( | atomic_prop * | ap | ) | [virtual] |
virtual void spot::ltl::postfix_visitor::doit | ( | unop * | uo | ) | [virtual] |
virtual void spot::ltl::postfix_visitor::doit | ( | binop * | bo | ) | [virtual] |
virtual void spot::ltl::postfix_visitor::doit | ( | multop * | mo | ) | [virtual] |
virtual void spot::ltl::postfix_visitor::doit | ( | automatop * | mo | ) | [virtual] |
virtual void spot::ltl::postfix_visitor::doit | ( | constant * | c | ) | [virtual] |
virtual void spot::ltl::postfix_visitor::doit_default | ( | formula * | f | ) | [virtual] |
void spot::ltl::postfix_visitor::visit | ( | atomic_prop * | ap | ) | [virtual] |
Implements spot::ltl::visitor.
void spot::ltl::postfix_visitor::visit | ( | unop * | uo | ) | [virtual] |
Implements spot::ltl::visitor.
void spot::ltl::postfix_visitor::visit | ( | binop * | bo | ) | [virtual] |
Implements spot::ltl::visitor.
void spot::ltl::postfix_visitor::visit | ( | multop * | mo | ) | [virtual] |
Implements spot::ltl::visitor.
void spot::ltl::postfix_visitor::visit | ( | automatop * | c | ) | [virtual] |
Implements spot::ltl::visitor.
void spot::ltl::postfix_visitor::visit | ( | constant * | c | ) | [virtual] |
Implements spot::ltl::visitor.