Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
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
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Z