Uses of Class
ai.krr.fol.FunctionTerm

Packages that use FunctionTerm

ai.krr.fol

Uses of FunctionTerm in ai.krr.fol

Methods in ai.krr.fol that return FunctionTerm

FunctionTerm	FunctionTerm.clone() Returns a shallow copy of this FunctionTerm.
FunctionTerm	FunctionTerm.clone(Substitution s) Returns a deep copy of this FunctionTerm with Variables replaced according to the given Substitution.
protected FunctionTerm	XfolSentenceAdaptor.parseFunctionTerm(org.w3c.dom.Element node, java.util.Map<java.lang.String,NameSpace> proxies)
protected static FunctionTerm	KifSentenceAdaptor.parseFunctionTerm(inf.compilers.LexicalAnalyzer scanner, java.util.Properties props, KifSentenceAdaptor.VariableStack allVars)

Methods in ai.krr.fol with parameters of type FunctionTerm

int	FunctionTerm.compareTo(FunctionTerm other) This function compares this FunctionTerm to the given FunctionTerm.
boolean	FunctionTerm.equals(FunctionTerm other) A FunctionTerm is equal to any other FunctionTerm that consists of an equal function symbol followed by an equal number of equal Terms.
protected org.w3c.dom.Element	XfolSentenceAdaptor.generateFunctionTermNode(org.w3c.dom.Document doc, FunctionTerm fTerm)
protected static void	KifSentenceAdaptor.prettyPrintFunctionTerm(int indent, FunctionTerm fTerm, java.io.Writer w, java.util.Properties props)
protected static void	KifSentenceAdaptor.writeFunctionTerm(FunctionTerm fTerm, java.io.Writer w, java.util.Properties props)