org.openqed.struct.formula
Class Term

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

All Implemented Interfaces:

java.lang.Iterable<FormulaNode>

Direct Known Subclasses:

FunctionTerm, ObjectTerm, VariableTerm

public abstract class Term
extends FormulaNode

Nested Class Summary

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

FormulaNode.FormulaNodeType

Constructor Summary

Term()

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

Term

public Term()