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.
More...
#include <ltlvisit/clone.hh>
Detailed Description
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.
Constructor & Destructor Documentation
spot::ltl::clone_visitor::clone_visitor |
( |
| ) |
|
virtual spot::ltl::clone_visitor::~clone_visitor |
( |
| ) |
|
|
virtual |
Member Function Documentation
virtual const formula* spot::ltl::clone_visitor::recurse |
( |
const formula * |
f | ) |
|
|
virtual |
const formula* spot::ltl::clone_visitor::result |
( |
| ) |
const |
void spot::ltl::clone_visitor::visit |
( |
const atomic_prop * |
ap | ) |
|
|
virtual |
void spot::ltl::clone_visitor::visit |
( |
const unop * |
uo | ) |
|
|
virtual |
void spot::ltl::clone_visitor::visit |
( |
const binop * |
bo | ) |
|
|
virtual |
void spot::ltl::clone_visitor::visit |
( |
const automatop * |
mo | ) |
|
|
virtual |
void spot::ltl::clone_visitor::visit |
( |
const multop * |
mo | ) |
|
|
virtual |
void spot::ltl::clone_visitor::visit |
( |
const constant * |
c | ) |
|
|
virtual |
void spot::ltl::clone_visitor::visit |
( |
const bunop * |
c | ) |
|
|
virtual |
Member Data Documentation
const formula* spot::ltl::clone_visitor::result_ |
|
protected |
The documentation for this class was generated from the following file: