Uses of Class
ai.krr.fol.QuantifiedSentence.Quantifier

Packages that use QuantifiedSentence.Quantifier

ai.krr.fol

Uses of QuantifiedSentence.Quantifier in ai.krr.fol

Fields in ai.krr.fol declared as QuantifiedSentence.Quantifier

protected QuantifiedSentence.Quantifier

QuantifiedSentence.quantifier the Quantifier for the Variables

Methods in ai.krr.fol that return QuantifiedSentence.Quantifier

QuantifiedSentence.Quantifier	QuantifiedSentence.getQuantifier() This function returns the Quantifier used for the Variables.
static QuantifiedSentence.Quantifier	QuantifiedSentence.Quantifier.valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static QuantifiedSentence.Quantifier[]	QuantifiedSentence.Quantifier.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 QuantifiedSentence.Quantifier

QuantifiedSentence(QuantifiedSentence.Quantifier q, Variable[] vars, Sentence content)
This constructor for a QuantifiedSentence takes a Quantifier, a List of Variables, and a Sentence.

QuantifiedSentence(QuantifiedSentence.Quantifier q, Variable var, Sentence content)
This constructor for a QuantifiedSentence takes a Quantifier, a single Variable, and a Sentence.