Uses of Class
ai.krr.fol.ConnectedSentence

Packages that use ConnectedSentence

ai.krr.fol

Uses of ConnectedSentence in ai.krr.fol

Subclasses of ConnectedSentence in ai.krr.fol

class

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

Methods in ai.krr.fol that return ConnectedSentence

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

Methods in ai.krr.fol 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	XfolSentenceAdaptor.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.
protected 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.
protected static void	KifSentenceAdaptor.writeConnectedSentence(ConnectedSentence stmt, java.io.Writer w, java.util.Properties props) This function writes the given ConnectedSentence to the given Writer.