Uses of Class
ai.krr.propositions.ConnectedSentence

Packages that use ConnectedSentence

ai.krr.propositions

Uses of ConnectedSentence in ai.krr.propositions

Subclasses of ConnectedSentence in ai.krr.propositions

class

BinaryConnectedSentence This class represents a Sentence that consists of a Connective that connects two sub-Sentences.

Methods in ai.krr.propositions that return ConnectedSentence

ConnectedSentence	ConnectedSentence.clone() This function generates a shallow copy of this ConnectedSentence.
protected ConnectedSentence	XplSentenceAdaptor.parseConnectedSentence(org.w3c.dom.Element node, java.util.Map<java.lang.String,NameSpace> proxies)

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

int	ConnectedSentence.compareTo(ConnectedSentence other) This function compares this ConnectedSentence to the given ConnectedSentence.
int	BinaryConnectedSentence.compareTo(ConnectedSentence other) This function compares this BinaryConnectedSentence to the given ConnectedSentence.
boolean	ConnectedSentence.equals(ConnectedSentence other) This function tests whether this and the given Object are equal.
boolean	BinaryConnectedSentence.equals(ConnectedSentence other) This function tests whether this and the given Object are equal.
protected org.w3c.dom.Element	XplSentenceAdaptor.generateConnectedSentenceNode(org.w3c.dom.Document doc, ConnectedSentence stmt, java.util.Set<NameSpace> nss)
(package private) static java.util.List<java.util.List<Literal>>	ConnectedSentence.multiplyS(java.util.List<java.util.List<Literal>> nf, ConnectedSentence lits) This function multiplies the given List of List of Literals with the given ConnectedSentence.
static void	KifSentenceAdaptor.prettyPrintConnectedSentence(int indent, ConnectedSentence stmt, java.io.Writer w, java.util.Properties props) This function pretty-prints the given ConnectedSentence to the given Writer.
static void	KifSentenceAdaptor.writeConnectedSentence(ConnectedSentence stmt, java.io.Writer w, java.util.Properties props) This function writes the given ConnectedSentence to the given Writer.