#include <ltlvisit/postfix.hh>
Inheritance diagram for spot::ltl::postfix_visitor:
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 (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 (constant *c) |
virtual void | doit_default (formula *f) |
Override one or more of the postifix_visitor::doit methods with the algorithm to apply.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Implements spot::ltl::visitor.
|
|
Implements spot::ltl::visitor.
|
|
Implements spot::ltl::visitor.
|
|
Implements spot::ltl::visitor.
|
|
Implements spot::ltl::visitor.
|