org.openqed.struct.formula
Class FofFormula

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

All Implemented Interfaces:

java.lang.Iterable<FormulaNode>

Direct Known Subclasses:

AtomicFormula, BinaryFormula, NegationFormula, QuantifierFormula

public abstract class FofFormula
extends RootFormula

Nested Class Summary

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

FormulaNode.FormulaNodeType

Constructor Summary

FofFormula()

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

FofFormula

public FofFormula()