---

Iff Struct Reference

#include <formula.h>

Inheritance diagram for Iff:

[legend]Collaboration diagram for Iff:

[legend]List of all members.

Public Types
typedef Formula *	V1type
typedef Formula *	V2type
Public Methods
	DEFINE_VISITABLE ()
	Iff (Formula *c1, Formula *c2)
Public Attributes
Formula *	v1
Formula *	v2

---

Member Typedef Documentation

typedef Formula* Iff::V1type

Definition at line 70 of file formula.h.

typedef Formula* Iff::V2type

Definition at line 70 of file formula.h.

---

Constructor & Destructor Documentation

Iff::Iff (  Formula *    c1, Formula *    c2 )  [inline]

Definition at line 70 of file formula.h.

---

Member Function Documentation

Iff::DEFINE_VISITABLE (    )

---

Member Data Documentation

Formula* Iff::v1

Definition at line 70 of file formula.h. Referenced by Formula_basic_visitor::visit().

Formula* Iff::v2

Definition at line 70 of file formula.h. Referenced by Formula_basic_visitor::visit().

---

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

• formula.h

---