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.