Uses of Class

Packages that use FunctionTerm

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, w, java.util.Properties props)
protected static void KifSentenceAdaptor.writeFunctionTerm(FunctionTerm fTerm, w, java.util.Properties props)