|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |