spot::ltl::unabbreviate_ltl_visitor Class Reference
Clone and rewrite a formula to remove most of the abbreviated LTL and logical operators.
More...
#include <tunabbrev.hh>
Inheritance diagram for spot::ltl::unabbreviate_ltl_visitor:
[legend]Collaboration diagram for spot::ltl::unabbreviate_ltl_visitor:
[legend]List of all members.
Detailed Description
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.
Member Typedef Documentation
Constructor & Destructor Documentation
spot::ltl::unabbreviate_ltl_visitor::unabbreviate_ltl_visitor |
( |
|
) |
|
|
Member Function Documentation
formula* spot::ltl::unabbreviate_ltl_visitor::recurse |
( |
formula * |
f |
) |
[virtual] |
|
formula* spot::ltl::clone_visitor::result |
( |
|
) |
const [inherited] |
|
void spot::ltl::clone_visitor::visit |
( |
constant * |
c |
) |
[inherited] |
|
void spot::ltl::clone_visitor::visit |
( |
multop * |
mo |
) |
[inherited] |
|
void spot::ltl::clone_visitor::visit |
( |
atomic_prop * |
ap |
) |
[inherited] |
|
void spot::ltl::unabbreviate_logic_visitor::visit |
( |
binop * |
bo |
) |
[virtual, inherited] |
|
void spot::ltl::unabbreviate_ltl_visitor::visit |
( |
unop * |
uo |
) |
[virtual] |
|
Member Data Documentation
The documentation for this class was generated from the following file:
Generated on Tue Jun 29 17:02:29 2004 for spot by
1.3.7