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

Replace true U f and false R g by F f and G g. More...

#include <ltlvisit/simpfg.hh>

Inheritance diagram for spot::ltl::simplify_f_g_visitor:

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

[legend]List of all members.

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

---

Detailed Description

Replace true U f and false R g by F f and G g.

---

Member Typedef Documentation

typedef clone_visitor spot::ltl::simplify_f_g_visitor::super [private]

---

Constructor & Destructor Documentation

spot::ltl::simplify_f_g_visitor::simplify_f_g_visitor

(

)

virtual spot::ltl::simplify_f_g_visitor::~simplify_f_g_visitor

(

)

[virtual]

---

Member Function Documentation

void spot::ltl::simplify_f_g_visitor::visit

(

binop *

bo

)

[virtual]

Reimplemented from spot::ltl::clone_visitor.

virtual formula* spot::ltl::simplify_f_g_visitor::recurse

(

formula *

f

)

[virtual]

Reimplemented from spot::ltl::clone_visitor.

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

(

)

const [inherited]

void spot::ltl::clone_visitor::visit

(

atomic_prop *

ap

)

[virtual, inherited]

Implements spot::ltl::visitor.

void spot::ltl::clone_visitor::visit

(

unop *

uo

)

[virtual, inherited]

Implements spot::ltl::visitor.

Reimplemented in spot::ltl::unabbreviate_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.

---

Member Data Documentation

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

---

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

• ltlvisit/simpfg.hh

---

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