spot::ltl::clone_visitor Class Reference
[Derivable visitors]

Clone a formula. More...

#include <ltlvisit/clone.hh>

Inheritance diagram for spot::ltl::clone_visitor:

[legend]Collaboration diagram for spot::ltl::clone_visitor:

[legend]List of all members.

Public Member Functions
	clone_visitor ()
virtual	~clone_visitor ()
formula *	result () const
void	visit (atomic_prop *ap)
void	visit (unop *uo)
void	visit (binop *bo)
void	visit (multop *mo)
void	visit (constant *c)
virtual formula *	recurse (formula *f)
Protected Attributes
formula *	result_

---

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::clone instead.

---

Constructor & Destructor Documentation

spot::ltl::clone_visitor::clone_visitor

(

)

virtual spot::ltl::clone_visitor::~clone_visitor

(

)

[virtual]

---

Member Function Documentation

formula* spot::ltl::clone_visitor::result

(

)

const

void spot::ltl::clone_visitor::visit

(

atomic_prop *

ap

)

[virtual]

Implements spot::ltl::visitor.

void spot::ltl::clone_visitor::visit

(

unop *

uo

)

[virtual]

Implements spot::ltl::visitor.

Reimplemented in spot::ltl::unabbreviate_ltl_visitor.

void spot::ltl::clone_visitor::visit

(

binop *

bo

)

[virtual]

Implements spot::ltl::visitor.

Reimplemented in spot::ltl::unabbreviate_logic_visitor, and spot::ltl::simplify_f_g_visitor.

void spot::ltl::clone_visitor::visit

(

multop *

mo

)

[virtual]

Implements spot::ltl::visitor.

void spot::ltl::clone_visitor::visit

(

constant *

c

)

[virtual]

Implements spot::ltl::visitor.

virtual formula* spot::ltl::clone_visitor::recurse

(

formula *

f

)

[virtual]

Reimplemented in spot::ltl::unabbreviate_logic_visitor, spot::ltl::simplify_f_g_visitor, and spot::ltl::unabbreviate_ltl_visitor.

---

Member Data Documentation

formula* spot::ltl::clone_visitor::result_ [protected]

---

The documentation for this class was generated from the following file:

• ltlvisit/clone.hh

---

Please comment this page and report errors about it on the RefDocComments page.