Uses of Class
ai.krr.propositions.NegatedSentence

Packages that use NegatedSentence

ai.krr.propositions

Uses of NegatedSentence in ai.krr.propositions

Methods in ai.krr.propositions that return NegatedSentence

NegatedSentence	NegatedSentence.clone() Cloning a NegatedSentence returns a new NegatedSentence containing the same Sentence as the original.
protected NegatedSentence	XplSentenceAdaptor.parseNegatedSentence(org.w3c.dom.Element node, java.util.Map<java.lang.String,NameSpace> proxies)

Methods in ai.krr.propositions with parameters of type NegatedSentence

int	NegatedSentence.compareTo(NegatedSentence other) This function compares this NegatedSentence to the given NegatedSentence.
boolean	NegatedSentence.equals(NegatedSentence other) A NegatedSentence is equal to another NegatedSentence that contains an equal Sentence.
protected org.w3c.dom.Element	XplSentenceAdaptor.generateNegatedSentenceNode(org.w3c.dom.Document doc, NegatedSentence stmt, java.util.Set<NameSpace> nss)
static void	KifSentenceAdaptor.prettyPrintNegatedSentence(int indent, NegatedSentence stmt, java.io.Writer w, java.util.Properties props) This function pretty-prints the given NegatedSentence to the given Writer.
static void	KifSentenceAdaptor.writeNegatedSentence(NegatedSentence stmt, java.io.Writer w, java.util.Properties props) This function writes the given NegatedSentence to the given Writer.