---

Formula Class Reference

Abstract base class of classes representing logical formulas. More...

#include <formula.h>

Inheritance diagram for Formula:

[legend]List of all members.

Public Methods
virtual	~Formula ()
Static Public Methods
std::vector< Formula * >	vec (Formula *f1=0, Formula *f2=0, Formula *f3=0, Formula *f4=0, Formula *f5=0, Formula *f6=0)
	Utility function: Constructs a vector of formulas from its arguments. More...

---

Detailed Description

Abstract base class of classes representing logical formulas.

Definition at line 17 of file formula.h.

---

Constructor & Destructor Documentation

virtual Formula::~Formula (    )  [inline, virtual]

Definition at line 20 of file formula.h.

---

Member Function Documentation

std::vector< Formula * > Formula::vec (  Formula *    f1 = 0, Formula *    f2 = 0, Formula *    f3 = 0, Formula *    f4 = 0, Formula *    f5 = 0, Formula *    f6 = 0 )  [static]

Utility function: Constructs a vector of formulas from its arguments. Definition at line 12 of file formula.cc. Referenced by Formula_basic_visitor::visit().

---

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

• formula.h
• formula.cc

---