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

DisjunctionNode Class Reference

A DisjunctionNode represents a disjunction between other nodes. More...

Inheritance diagram for DisjunctionNode:

GenericNode List of all members.

Public Attributes

Listoperands
 The list of operands.


Detailed Description

A DisjunctionNode represents a disjunction between other nodes.


Member Data Documentation

List* DisjunctionNode::operands
 

The list of operands.

This list must have at least two elements.


Generated on Sun Apr 27 18:26:57 2003 for Grisu by doxygen1.3