org.openqed.struct.formula
Class RootFormula

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

All Implemented Interfaces:

java.lang.Iterable<FormulaNode>

Direct Known Subclasses:

CnfFormula, FofFormula

public abstract class RootFormula
extends Formula

Nested Class Summary

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

FormulaNode.FormulaNodeType

Constructor Summary

RootFormula()

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

RootFormula

public RootFormula()