#include <ltlvisit/tunabbrev.hh>
Inheritance diagram for spot::ltl::unabbreviate_ltl_visitor:
Public Member Functions | |
unabbreviate_ltl_visitor () | |
virtual | ~unabbreviate_ltl_visitor () |
void | visit (unop *uo) |
formula * | recurse (formula *f) |
void | visit (binop *bo) |
void | visit (atomic_prop *ap) |
void | visit (multop *mo) |
void | visit (constant *c) |
formula * | result () const |
Protected Attributes | |
formula * | result_ |
Private Types | |
typedef unabbreviate_logic_visitor | super |
The rewriting performed on logical operator is the same as the one done by spot::ltl::unabbreviate_logic_visitor.
This will also rewrite unary operators such as unop::F, and unop::G, using only binop::U, and binop::R.
This visitor is public, because it's convenient to derive from it and override some of its methods. But if you just want the functionality, consider using spot::ltl::unabbreviate_ltl instead.
|
Reimplemented from spot::ltl::unabbreviate_logic_visitor. |
|
|
|
|
|
Reimplemented from spot::ltl::unabbreviate_logic_visitor. |
|
|
|
Implements spot::ltl::visitor. |
|
Implements spot::ltl::visitor. |
|
Implements spot::ltl::visitor. |
|
Reimplemented from spot::ltl::clone_visitor. |
|
Reimplemented from spot::ltl::clone_visitor. |
|
|