---

And Struct Reference

#include <formula.h>

Inheritance diagram for And:

[legend]Collaboration diagram for And:

[legend]List of all members.

Public Types
typedef std::vector< Formula * >	V1type
Public Methods
	DEFINE_VISITABLE ()
	And (std::vector< Formula * > c1)
Public Attributes
std::vector< Formula * >	v1

---

Member Typedef Documentation

typedef std::vector<Formula*> And::V1type

Definition at line 67 of file formula.h.

---

Constructor & Destructor Documentation

And::And (  std::vector< Formula * >    c1 )  [inline, explicit]

Definition at line 67 of file formula.h.

---

Member Function Documentation

And::DEFINE_VISITABLE (    )

---

Member Data Documentation

std::vector<Formula*> And::v1

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

---

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

• formula.h

---