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
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Z
Q
QuantifiedFormula
- Class in
kodkod.ast
A quantified formula.
QuantifiedFormula.Quantifier
- Enum in
kodkod.ast
Represents a logical quantifier.
quantifier()
- Method in class kodkod.ast.
QuantifiedFormula
Returns this.quantifier.
quantify(QuantifiedFormula.Quantifier, Decls)
- Method in class kodkod.ast.
Formula
Returns a quantification of this formula using the given quantifier over the specified declarations.
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
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Z