Uses of Class
ai.krr.fol.Constant

Packages that use Constant

ai.krr.fol

Uses of Constant in ai.krr.fol

Methods in ai.krr.fol that return Constant

Constant	Constant.clone() Cloning a Constant returns this Constant (containing the same Symbol).
Constant	Constant.clone(Substitution s) Cloning a Constant under a given Substitution returns this Constant.
protected Constant	XfolSentenceAdaptor.parseCharacter(org.w3c.dom.Element node, java.util.Map<java.lang.String,NameSpace> proxies)
protected Constant	XfolSentenceAdaptor.parseConstant(org.w3c.dom.Element node, java.util.Map<java.lang.String,NameSpace> proxies)
protected static Constant	KifSentenceAdaptor.parseConstantTerm(inf.compilers.LexicalAnalyzer scanner, java.util.Properties props)
protected Constant	XfolSentenceAdaptor.parseInteger(org.w3c.dom.Element node, java.util.Map<java.lang.String,NameSpace> proxies)
protected Constant	XfolSentenceAdaptor.parseRealNumber(org.w3c.dom.Element node, java.util.Map<java.lang.String,NameSpace> proxies)
protected Constant	XfolSentenceAdaptor.parseString(org.w3c.dom.Element node, java.util.Map<java.lang.String,NameSpace> proxies)

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

int	Constant.compareTo(Constant other) This function compares this Constant to the given Constant.
boolean	Constant.equals(Constant other) A Constant is equal to any other Constant that holds an equal Symbol.
protected org.w3c.dom.Element	XfolSentenceAdaptor.generateConstantTermNode(org.w3c.dom.Document doc, Constant cTerm)
protected static void	KifSentenceAdaptor.writeConstantTerm(Constant cTerm, java.io.Writer w, java.util.Properties props)