spot
0.9.1
|
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 (const atomic_prop *ap) |
void | visit (const unop *uo) |
void | visit (const binop *bo) |
void | visit (const multop *mo) |
void | visit (const automatop *c) |
void | visit (const constant *c) |
void | visit (const bunop *c) |
virtual void | doit (const atomic_prop *ap) |
virtual void | doit (const unop *uo) |
virtual void | doit (const binop *bo) |
virtual void | doit (const multop *mo) |
virtual void | doit (const automatop *mo) |
virtual void | doit (const constant *c) |
virtual void | doit (const bunop *c) |
virtual void | doit_default (const 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 | ( | const atomic_prop * | ap | ) | [virtual] |
virtual void spot::ltl::postfix_visitor::doit | ( | const unop * | uo | ) | [virtual] |
virtual void spot::ltl::postfix_visitor::doit | ( | const binop * | bo | ) | [virtual] |
virtual void spot::ltl::postfix_visitor::doit | ( | const multop * | mo | ) | [virtual] |
virtual void spot::ltl::postfix_visitor::doit | ( | const automatop * | mo | ) | [virtual] |
virtual void spot::ltl::postfix_visitor::doit | ( | const constant * | c | ) | [virtual] |
virtual void spot::ltl::postfix_visitor::doit | ( | const bunop * | c | ) | [virtual] |
virtual void spot::ltl::postfix_visitor::doit_default | ( | const formula * | f | ) | [virtual] |
void spot::ltl::postfix_visitor::visit | ( | const atomic_prop * | ap | ) | [virtual] |
Implements spot::ltl::visitor.
void spot::ltl::postfix_visitor::visit | ( | const unop * | uo | ) | [virtual] |
Implements spot::ltl::visitor.
void spot::ltl::postfix_visitor::visit | ( | const binop * | bo | ) | [virtual] |
Implements spot::ltl::visitor.
void spot::ltl::postfix_visitor::visit | ( | const multop * | mo | ) | [virtual] |
Implements spot::ltl::visitor.
void spot::ltl::postfix_visitor::visit | ( | const automatop * | c | ) | [virtual] |
Implements spot::ltl::visitor.
void spot::ltl::postfix_visitor::visit | ( | const constant * | c | ) | [virtual] |
Implements spot::ltl::visitor.
void spot::ltl::postfix_visitor::visit | ( | const bunop * | c | ) | [virtual] |
Implements spot::ltl::visitor.