---

Formula_basic_visitor Class Reference

A recursive visitor to a hierarchy of Formulas. More...

#include <formula_visitor.h>

Inheritance diagram for Formula_basic_visitor:

[legend]Collaboration diagram for Formula_basic_visitor:

[legend]List of all members.

Public Methods
virtual void	default_action (Formula &, std::vector< Formula * > v)
	Default action to be executed on each formula. More...
virtual void	visit (True &f)
virtual void	visit (False &f)
virtual void	visit (Not &f)
virtual void	visit (And &f)
virtual void	visit (Or &f)
virtual void	visit (Implies &f)
virtual void	visit (Iff &f)

---

Detailed Description

A recursive visitor to a hierarchy of Formulas.

Calls default_action() for each Formula element. The standard implementation of default_action() is to call recurse().

Definition at line 54 of file formula_visitor.h.

---

Member Function Documentation

void Formula_basic_visitor::default_action (  Formula &   , std::vector< Formula * >    v )  [virtual]

Default action to be executed on each formula. The standard implementation just calls recurse(v). Overload this function to implement a different default action. Definition at line 49 of file formula_visitor.cc. References Formula_visitor::recurse(). Referenced by visit().

void Formula_basic_visitor::visit (  Iff &    f )  [virtual]

Definition at line 113 of file formula_visitor.cc. References default_action(), Iff::v1, Iff::v2, and Formula::vec().

void Formula_basic_visitor::visit (  Implies &    f )  [virtual]

Definition at line 103 of file formula_visitor.cc. References default_action(), Implies::v1, Implies::v2, and Formula::vec().

void Formula_basic_visitor::visit (  Or &    f )  [virtual]

Definition at line 94 of file formula_visitor.cc. References default_action(), and Or::v1.

void Formula_basic_visitor::visit (  And &    f )  [virtual]

Definition at line 85 of file formula_visitor.cc. References default_action(), and And::v1.

void Formula_basic_visitor::visit (  Not &    f )  [virtual]

Definition at line 76 of file formula_visitor.cc. References default_action(), Not::v1, and Formula::vec().

void Formula_basic_visitor::visit (  False &    f )  [virtual]

Definition at line 67 of file formula_visitor.cc. References default_action(), and Formula::vec().

void Formula_basic_visitor::visit (  True &    f )  [virtual]

Definition at line 58 of file formula_visitor.cc. References default_action(), and Formula::vec().

---

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

• formula_visitor.h
• formula_visitor.cc

---