spot
0.9.1
|
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>
Public Member Functions | |
unabbreviate_logic_visitor () | |
virtual | ~unabbreviate_logic_visitor () |
void | visit (const binop *bo) |
virtual const formula * | recurse (const formula *f) |
const formula * | result () const |
void | visit (const atomic_prop *ap) |
void | visit (const unop *uo) |
void | visit (const automatop *mo) |
void | visit (const multop *mo) |
void | visit (const constant *c) |
void | visit (const bunop *c) |
Protected Attributes | |
const formula * | result_ |
Private Types | |
typedef clone_visitor | super |
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.
typedef clone_visitor spot::ltl::unabbreviate_logic_visitor::super [private] |
Reimplemented in spot::ltl::unabbreviate_ltl_visitor.
virtual spot::ltl::unabbreviate_logic_visitor::~unabbreviate_logic_visitor | ( | ) | [virtual] |
virtual const formula* spot::ltl::unabbreviate_logic_visitor::recurse | ( | const formula * | f | ) | [virtual] |
Reimplemented from spot::ltl::clone_visitor.
Reimplemented in spot::ltl::unabbreviate_ltl_visitor.
const formula* spot::ltl::clone_visitor::result | ( | ) | const [inherited] |
void spot::ltl::clone_visitor::visit | ( | const atomic_prop * | ap | ) | [virtual, inherited] |
Implements spot::ltl::visitor.
void spot::ltl::clone_visitor::visit | ( | const unop * | uo | ) | [virtual, inherited] |
Implements spot::ltl::visitor.
Reimplemented in spot::ltl::unabbreviate_ltl_visitor.
void spot::ltl::clone_visitor::visit | ( | const automatop * | mo | ) | [virtual, inherited] |
Implements spot::ltl::visitor.
void spot::ltl::clone_visitor::visit | ( | const multop * | mo | ) | [virtual, inherited] |
Implements spot::ltl::visitor.
void spot::ltl::unabbreviate_logic_visitor::visit | ( | const binop * | bo | ) | [virtual] |
Reimplemented from spot::ltl::clone_visitor.
void spot::ltl::clone_visitor::visit | ( | const constant * | c | ) | [virtual, inherited] |
Implements spot::ltl::visitor.
void spot::ltl::clone_visitor::visit | ( | const bunop * | c | ) | [virtual, inherited] |
Implements spot::ltl::visitor.
const formula* spot::ltl::clone_visitor::result_ [protected, inherited] |