---

Not Struct Reference

#include <formula.h>

Inheritance diagram for Not:

[legend]Collaboration diagram for Not:

[legend]List of all members.

Public Types
typedef Formula *	V1type
Public Methods
	DEFINE_VISITABLE ()
	Not (Formula *c1)
Public Attributes
Formula *	v1

---

Member Typedef Documentation

typedef Formula* Not::V1type

Definition at line 66 of file formula.h.

---

Constructor & Destructor Documentation

Not::Not (  Formula *    c1 )  [inline, explicit]

Definition at line 66 of file formula.h.

---

Member Function Documentation

Not::DEFINE_VISITABLE (    )

---

Member Data Documentation

Formula* Not::v1

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

---

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

• formula.h

---