aima.logic.fol.parsing.ast
Class Function

java.lang.Object
  aima.logic.fol.parsing.ast.Term
      aima.logic.fol.parsing.ast.Function

All Implemented Interfaces:

ParseTreeNode, FOLNode

public class Function
extends Term

Constructor Summary

Function(java.lang.String functionName, java.util.List<Term> terms)

Method Summary

java.lang.Object	accept(FOLVisitor v, java.lang.Object arg)
Function	copy()
boolean	equals(java.lang.Object o)
java.lang.String	getFunctionName()
java.util.List<Term>	getTerms()
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Function

public Function(java.lang.String functionName,
                java.util.List<Term> terms)

Method Detail

getFunctionName

public java.lang.String getFunctionName()

getTerms

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

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

accept

public java.lang.Object accept(FOLVisitor v,
                               java.lang.Object arg)

toString

public java.lang.String toString()

Specified by:

toString in interface FOLNode

Overrides:

toString in class java.lang.Object

copy

public Function copy()

Specified by:

copy in interface FOLNode

Specified by:

copy in class Term