aima.logic.fol.parsing.ast
Class Function

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

All Implemented Interfaces:

ParseTreeNode, FOLNode, Term

public class Function
extends java.lang.Object
implements 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.util.List<Term>	getArgs()
java.lang.String	getFunctionName()
java.lang.String	getSymbolicName()
java.util.List<Term>	getTerms()
int	hashCode()
boolean	isCompound()
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()

getSymbolicName

public java.lang.String getSymbolicName()

Specified by:

getSymbolicName in interface FOLNode

isCompound

public boolean isCompound()

Specified by:

isCompound in interface FOLNode

getArgs

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

Specified by:

getArgs in interface FOLNode

Specified by:

getArgs in interface Term

accept

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

Specified by:

accept in interface FOLNode

copy

public Function copy()

Specified by:

copy in interface FOLNode

Specified by:

copy in interface Term

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

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object