Uses of Class
ai.krr.fol.QuantifiedSentence

Packages that use QuantifiedSentence

ai.krr.fol

Uses of QuantifiedSentence in ai.krr.fol

Methods in ai.krr.fol that return QuantifiedSentence

QuantifiedSentence	QuantifiedSentence.clone() This function generates a shallow copy of this QuantifiedSentence.
QuantifiedSentence	QuantifiedSentence.clone(Substitution s) Returns a copy of this Sentence with Variables replaced according to the given Substitution.
protected QuantifiedSentence	XfolSentenceAdaptor.parseQuantifiedSentence(org.w3c.dom.Element node, java.util.Map<java.lang.String,NameSpace> proxies)

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

int	QuantifiedSentence.compareTo(QuantifiedSentence stmt) This function compares this QuantifiedSentence to the given QuantifiedSentence.
boolean	QuantifiedSentence.equals(QuantifiedSentence other) This function tests whether this and the given Object are equal.
protected org.w3c.dom.Element	XfolSentenceAdaptor.generatePrefixNode(org.w3c.dom.Document doc, QuantifiedSentence stmt)
protected org.w3c.dom.Element	XfolSentenceAdaptor.generateQuantifiedSentenceNode(org.w3c.dom.Document doc, QuantifiedSentence stmt, java.util.Set<NameSpace> nss)
protected static void	KifSentenceAdaptor.prettyPrintQuantifiedSentence(int indent, QuantifiedSentence stmt, java.io.Writer w, java.util.Properties props)
protected static void	KifSentenceAdaptor.writeQuantifiedSentence(QuantifiedSentence stmt, java.io.Writer w, java.util.Properties props)