spot
1.0
|
Clone and rewrite a formula to remove most of the abbreviated LTL and logical operators.The rewriting performed on logical operator is the same as the one done by spot::ltl::unabbreviate_logic_visitor. More...
#include <ltlvisit/tunabbrev.hh>
Public Member Functions | |
unabbreviate_ltl_visitor () | |
virtual | ~unabbreviate_ltl_visitor () |
void | visit (const unop *uo) |
const formula * | recurse (const formula *f) |
void | visit (const binop *bo) |
void | visit (const atomic_prop *ap) |
void | visit (const automatop *mo) |
void | visit (const multop *mo) |
void | visit (const constant *c) |
void | visit (const bunop *c) |
const formula * | result () const |
Protected Attributes | |
const formula * | result_ |
Private Types | |
typedef unabbreviate_logic_visitor | super |
Clone and rewrite a formula to remove most of the abbreviated LTL and logical operators.
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.
|
private |
spot::ltl::unabbreviate_ltl_visitor::unabbreviate_ltl_visitor | ( | ) |
|
virtual |
Reimplemented from spot::ltl::unabbreviate_logic_visitor.
|
inherited |
|
virtualinherited |
Implements spot::ltl::visitor.
|
virtualinherited |
Implements spot::ltl::visitor.
|
virtualinherited |
Implements spot::ltl::visitor.
|
virtualinherited |
Reimplemented from spot::ltl::clone_visitor.
|
virtualinherited |
Implements spot::ltl::visitor.
|
virtualinherited |
Implements spot::ltl::visitor.
|
virtual |
Reimplemented from spot::ltl::clone_visitor.
|
protectedinherited |