Clone and rewrite a formula to remove most of the abbreviated logical operators.This will rewrite binary operators such as binop::Implies, binop::Equals, and binop::Xor, using only unop::Not, multop::Or, and multop::And.
More...
#include <ltlvisit/lunabbrev.hh>
Detailed Description
Clone and rewrite a formula to remove most of the abbreviated logical operators.
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.
Member Typedef Documentation
Constructor & Destructor Documentation
spot::ltl::unabbreviate_logic_visitor::unabbreviate_logic_visitor |
( |
| ) |
|
virtual spot::ltl::unabbreviate_logic_visitor::~unabbreviate_logic_visitor |
( |
| ) |
|
|
virtual |
Member Function Documentation
virtual const formula* spot::ltl::unabbreviate_logic_visitor::recurse |
( |
const formula * |
f | ) |
|
|
virtual |
const formula* spot::ltl::clone_visitor::result |
( |
| ) |
const |
|
inherited |
void spot::ltl::clone_visitor::visit |
( |
const atomic_prop * |
ap | ) |
|
|
virtualinherited |
void spot::ltl::clone_visitor::visit |
( |
const unop * |
uo | ) |
|
|
virtualinherited |
void spot::ltl::clone_visitor::visit |
( |
const automatop * |
mo | ) |
|
|
virtualinherited |
void spot::ltl::clone_visitor::visit |
( |
const multop * |
mo | ) |
|
|
virtualinherited |
void spot::ltl::unabbreviate_logic_visitor::visit |
( |
const binop * |
bo | ) |
|
|
virtual |
void spot::ltl::clone_visitor::visit |
( |
const constant * |
c | ) |
|
|
virtualinherited |
void spot::ltl::clone_visitor::visit |
( |
const bunop * |
c | ) |
|
|
virtualinherited |
Member Data Documentation
const formula* spot::ltl::clone_visitor::result_ |
|
protectedinherited |
The documentation for this class was generated from the following file: