---

Implies Struct Reference

#include <formula.h>

Inheritance diagram for Implies:

[legend]Collaboration diagram for Implies:

[legend]List of all members.

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

---

Member Typedef Documentation

typedef Formula* Implies::V1type

Definition at line 69 of file formula.h.

typedef Formula* Implies::V2type

Definition at line 69 of file formula.h.

---

Constructor & Destructor Documentation

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

Definition at line 69 of file formula.h.

---

Member Function Documentation

Implies::DEFINE_VISITABLE (    )

---

Member Data Documentation

Formula* Implies::v1

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

Formula* Implies::v2

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

---

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

• formula.h

---