Uses of Class
ai.krr.fol.ConnectedSentence.Connective

Packages that use ConnectedSentence.Connective

ai.krr.fol

Uses of ConnectedSentence.Connective in ai.krr.fol

Fields in ai.krr.fol declared as ConnectedSentence.Connective

protected ConnectedSentence.Connective

ConnectedSentence.connective the connective for this Sentence

Methods in ai.krr.fol that return ConnectedSentence.Connective

ConnectedSentence.Connective	ConnectedSentence.getConnective() This function returns the Connective that connects the sub-Sentences in this ConnectedSentence.
static ConnectedSentence.Connective	ConnectedSentence.Connective.valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static ConnectedSentence.Connective[]	ConnectedSentence.Connective.values() Returns an array containing the constants of this enum type, in the order they are declared.

Constructors in ai.krr.fol with parameters of type ConnectedSentence.Connective

BinaryConnectedSentence(Sentence lhs, ConnectedSentence.Connective connective, Sentence rhs)
This constructor for a BinaryConnectedSentence takes a Connective and two Sentences which are the Sentences that are connected by the given connective.

ConnectedSentence(ConnectedSentence.Connective connective, java.util.List<Sentence> sents)
This constructor for a ConnectedSentence takes a Connective and a List of Sentences which are the Sentences that are connected by the given connective.

ConnectedSentence(ConnectedSentence.Connective connective, Sentence... sentences)
This constructor for a ConnectedSentence takes a Connective and a number of Sentences which are the Sentences that are connected by the given connective.

ConnectedSentence(Sentence s1, ConnectedSentence.Connective connective, Sentence s2)
This constructor for a ConnectedSentence takes a Connective and two Sentences which are the Sentences that are connected by the given connective.