org.openqed.struct.formula
Class Formula

java.lang.Object
  org.openqed.struct.formula.FormulaNode
      org.openqed.struct.formula.Formula

All Implemented Interfaces:

java.lang.Iterable<FormulaNode>

Direct Known Subclasses:

Literal, RootFormula

public abstract class Formula
extends FormulaNode

Nested Class Summary

Nested classes/interfaces inherited from class org.openqed.struct.formula.FormulaNode

FormulaNode.FormulaNodeType

Constructor Summary

Formula()

Method Summary

Methods inherited from class org.openqed.struct.formula.FormulaNode

equals, getChild, getChildCount, getChildIterator, getFormulaNodeType, getRecursiveIterator, getSelectiveIterator, hashCode, iterator, toString, visit, visit, visit, visit, visitChildren, visitChildren, visitChildren, visitChildren, visitRecursive, visitRecursive

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Formula

public Formula()