spot
1.1.4
|
Clone a formula. More...
#include <ltlvisit/clone.hh>
Public Member Functions | |
clone_visitor () | |
virtual | ~clone_visitor () |
const formula * | result () const |
void | visit (const atomic_prop *ap) |
void | visit (const unop *uo) |
void | visit (const binop *bo) |
void | visit (const automatop *mo) |
void | visit (const multop *mo) |
void | visit (const constant *c) |
void | visit (const bunop *c) |
virtual const formula * | recurse (const formula *f) |
Protected Attributes | |
const formula * | result_ |
Clone a formula.
This visitor is public, because it's convenient to derive from it and override part of its methods. But if you just want the functionality, consider using spot::ltl::formula::clone instead, it is way faster.
spot::ltl::clone_visitor::clone_visitor | ( | ) |
|
virtual |
Reimplemented in spot::ltl::unabbreviate_ltl_visitor, spot::ltl::unabbreviate_logic_visitor, and spot::ltl::simplify_f_g_visitor.
const formula* spot::ltl::clone_visitor::result | ( | ) | const |
|
virtual |
Implements spot::ltl::visitor.
|
virtual |
Implements spot::ltl::visitor.
Reimplemented in spot::ltl::unabbreviate_ltl_visitor.
|
virtual |
Implements spot::ltl::visitor.
Reimplemented in spot::ltl::unabbreviate_logic_visitor, and spot::ltl::simplify_f_g_visitor.
|
virtual |
Implements spot::ltl::visitor.
|
virtual |
Implements spot::ltl::visitor.
|
virtual |
Implements spot::ltl::visitor.
|
virtual |
Implements spot::ltl::visitor.
|
protected |