org.openqed.struct.formula
Class FunctionTerm

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

All Implemented Interfaces:

java.lang.Iterable<FormulaNode>, FunctorApplication

public class FunctionTerm
extends Term
implements FunctorApplication

Nested Class Summary

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

FormulaNode.FormulaNodeType

Constructor Summary

FunctionTerm(FunctionId functionId, java.util.List<Term> terms)

FunctionTerm(FunctionId functionId, Term... terms)

Method Summary

boolean	equals(java.lang.Object object)
FormulaNode	getChild(int childIndex)
int	getChildCount()
FormulaNode.FormulaNodeType	getFormulaNodeType()
FunctionId	getFunctionId()
java.lang.String	getFunctionName()
FunctionId	getFunctorId()
java.lang.String	getFunctorName()
Term	getTerm(int index)
int	getTermCount()
java.util.List<Term>	getTerms()
int	hashCode()
java.lang.String	toString()
void	visit(FormulaNodeVisitor v)
<A> void	visit(FormulaNodeVisitorArg<A> v, A a)
<R> R	visit(FormulaNodeVisitorRet<R> v)
<R,A> R	visit(FormulaNodeVisitorRetArg<R,A> v, A a)

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

getChildIterator, getRecursiveIterator, getSelectiveIterator, iterator, visitChildren, visitChildren, visitChildren, visitChildren, visitRecursive, visitRecursive

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

FunctionTerm

public FunctionTerm(FunctionId functionId,
                    java.util.List<Term> terms)

FunctionTerm

public FunctionTerm(FunctionId functionId,
                    Term... terms)

Method Detail

equals

public boolean equals(java.lang.Object object)

Overrides:

equals in class FormulaNode

hashCode

public int hashCode()

Overrides:

hashCode in class FormulaNode

toString

public java.lang.String toString()

Specified by:

toString in class FormulaNode

getChildCount

public final int getChildCount()

Specified by:

getChildCount in class FormulaNode

getChild

public final FormulaNode getChild(int childIndex)

Specified by:

getChild in class FormulaNode

getFormulaNodeType

public FormulaNode.FormulaNodeType getFormulaNodeType()

Specified by:

getFormulaNodeType in class FormulaNode

visit

public final void visit(FormulaNodeVisitor v)

Specified by:

visit in class FormulaNode

visit

public final <A> void visit(FormulaNodeVisitorArg<A> v,
                            A a)

Specified by:

visit in class FormulaNode

visit

public final <R> R visit(FormulaNodeVisitorRet<R> v)

Specified by:

visit in class FormulaNode

visit

public final <R,A> R visit(FormulaNodeVisitorRetArg<R,A> v,
                           A a)

Specified by:

visit in class FormulaNode

getFunctorId

public FunctionId getFunctorId()

Specified by:

getFunctorId in interface FunctorApplication

getTerms

public java.util.List<Term> getTerms()

Specified by:

getTerms in interface FunctorApplication

getFunctionId

public FunctionId getFunctionId()

getFunctorName

public java.lang.String getFunctorName()

Specified by:

getFunctorName in interface FunctorApplication

getFunctionName

public java.lang.String getFunctionName()

getTermCount

public int getTermCount()

Specified by:

getTermCount in interface FunctorApplication

getTerm

public Term getTerm(int index)

Specified by:

getTerm in interface FunctorApplication