Main Page   Namespace List   Class Hierarchy   Compound List   File List   Compound Members   File Members  

Or Struct Reference

#include <formula.h>

Inheritance diagram for Or:

Inheritance graph
[legend]
Collaboration diagram for Or:

Collaboration graph
[legend]
List of all members.

Public Types

typedef std::vector< Formula * > V1type

Public Methods

 DEFINE_VISITABLE ()
 Or (std::vector< Formula * > c1)

Public Attributes

std::vector< Formula * > v1

Member Typedef Documentation

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

Definition at line 68 of file formula.h.


Constructor & Destructor Documentation

Or::Or std::vector< Formula * >    c1 [inline, explicit]
 

Definition at line 68 of file formula.h.


Member Function Documentation

Or::DEFINE_VISITABLE  
 


Member Data Documentation

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

Definition at line 68 of file formula.h.

Referenced by Formula_basic_visitor::visit().


The documentation for this struct was generated from the following file:
Generated on Mon Feb 10 17:36:01 2003 for VFiasco Semantics Compiler by doxygen1.2.15