org.openqed.struct.formula
Class AtomicFormula

java.lang.Object
  extended by org.openqed.struct.formula.FormulaNode
      extended by org.openqed.struct.formula.Formula
          extended by org.openqed.struct.formula.RootFormula
              extended by org.openqed.struct.formula.FofFormula
                  extended by org.openqed.struct.formula.AtomicFormula
All Implemented Interfaces:
java.lang.Iterable<FormulaNode>
Direct Known Subclasses:
NullaryFormula, PredicateFormula

public abstract class AtomicFormula
extends FofFormula


Nested Class Summary
 
Nested classes/interfaces inherited from class org.openqed.struct.formula.FormulaNode
FormulaNode.FormulaNodeType
 
Constructor Summary
AtomicFormula()
           
 
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

AtomicFormula

public AtomicFormula()