#include <ltlvisit/lunabbrev.hh>
Inheritance diagram for spot::ltl::unabbreviate_logic_visitor:
Public Member Functions | |
unabbreviate_logic_visitor () | |
virtual | ~unabbreviate_logic_visitor () |
void | visit (binop *bo) |
virtual formula * | recurse (formula *f) |
formula * | result () const |
void | visit (atomic_prop *ap) |
void | visit (unop *uo) |
void | visit (multop *mo) |
void | visit (constant *c) |
Protected Attributes | |
formula * | result_ |
Private Types | |
typedef clone_visitor | super |
This will rewrite binary operators such as binop::Implies, binop::Equals, and binop::Xor, using only unop::Not, multop::Or, and multop::And.
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_logic instead.
|
Reimplemented in spot::ltl::unabbreviate_ltl_visitor. |
|
|
|
|
|
Reimplemented from spot::ltl::clone_visitor. Reimplemented in spot::ltl::unabbreviate_ltl_visitor. |
|
|
|
Implements spot::ltl::visitor. |
|
Implements spot::ltl::visitor. |
|
Implements spot::ltl::visitor. Reimplemented in spot::ltl::unabbreviate_ltl_visitor. |
|
Implements spot::ltl::visitor. |
|
Reimplemented from spot::ltl::clone_visitor. |
|
|