A B C D E F G H I K L M N O P Q R S T U V W X Z

Q

QuantifiedSentence - Class in ai.krr.fol
 
QuantifiedSentence(QuantifiedSentence.Quantifier, Variable, Sentence) - Constructor for class ai.krr.fol.QuantifiedSentence
This constructor for a QuantifiedSentence takes a Quantifier, a single Variable, and a Sentence.
QuantifiedSentence(QuantifiedSentence.Quantifier, Variable[], Sentence) - Constructor for class ai.krr.fol.QuantifiedSentence
This constructor for a QuantifiedSentence takes a Quantifier, a List of Variables, and a Sentence.
QuantifiedSentence.Quantifier - Enum in ai.krr.fol
This enumeration defines the possible quantifiers that bind variables in the content Sentence.
quantifier - Variable in class ai.krr.fol.QuantifiedSentence
the Quantifier for the Variables

A B C D E F G H I K L M N O P Q R S T U V W X Z