---

Formula_visitor Class Reference

Abstract base class for visitors to Formula. More...

#include <formula_visitor.h>

Inheritance diagram for Formula_visitor:

[legend]List of all members.

Public Methods
void	visit_formula (Formula &f)
	Dispatch into the visit() function depending on the type of argument f. More...
void	recurse (std::vector< Formula * > v)
	Recurse into subformulas. More...

---

Detailed Description

Abstract base class for visitors to Formula.

It inherits a pure abstract visit() interface for each class listed in Formula_tl.

Definition at line 32 of file formula_visitor.h.

---

Member Function Documentation

void Formula_visitor::recurse (  std::vector< Formula * >    v )

Recurse into subformulas. Calls visit_formula() for a given vector of Formulas. Definition at line 28 of file formula_visitor.cc. References visit_formula(). Referenced by Formula_basic_visitor::default_action().

void Formula_visitor::visit_formula (  Formula &    f )

Dispatch into the visit() function depending on the type of argument f. Definition at line 17 of file formula_visitor.cc. Referenced by recurse().

---

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

• formula_visitor.h
• formula_visitor.cc

---