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

Clone and rewrite a formula to remove most of the abbreviated LTL and logical operators. More...

#include <ltlvisit/tunabbrev.hh>

Inheritance diagram for spot::ltl::unabbreviate_ltl_visitor:

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

[legend]List of all members.

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

---

Detailed Description

Clone and rewrite a formula to remove most of the abbreviated LTL and logical operators.

The rewriting performed on logical operator is the same as the one done by spot::ltl::unabbreviate_logic_visitor.

This will also rewrite unary operators such as unop::F, and unop::G, using only binop::U, and binop::R.

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_ltl instead.

---

Member Typedef Documentation

typedef unabbreviate_logic_visitor spot::ltl::unabbreviate_ltl_visitor::super [private]

Reimplemented from spot::ltl::unabbreviate_logic_visitor.

---

Constructor & Destructor Documentation

spot::ltl::unabbreviate_ltl_visitor::unabbreviate_ltl_visitor

(

)

virtual spot::ltl::unabbreviate_ltl_visitor::~unabbreviate_ltl_visitor

(

)

[virtual]

---

Member Function Documentation

void spot::ltl::unabbreviate_ltl_visitor::visit

(

unop *

uo

)

[virtual]

Reimplemented from spot::ltl::clone_visitor.

formula* spot::ltl::unabbreviate_ltl_visitor::recurse

(

formula *

f

)

[virtual]

Reimplemented from spot::ltl::unabbreviate_logic_visitor.

void spot::ltl::unabbreviate_logic_visitor::visit

(

binop *

bo

)

[virtual, inherited]

Reimplemented from spot::ltl::clone_visitor.

void spot::ltl::clone_visitor::visit

(

atomic_prop *

ap

)

[virtual, inherited]

Implements spot::ltl::visitor.

void spot::ltl::clone_visitor::visit

(

multop *

mo

)

[virtual, inherited]

Implements spot::ltl::visitor.

void spot::ltl::clone_visitor::visit

(

constant *

c

)

[virtual, inherited]

Implements spot::ltl::visitor.

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

(

)

const [inherited]

---

Member Data Documentation

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

---

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

• ltlvisit/tunabbrev.hh

---

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