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
K
keyAt(int)
- Method in class kodkod.util.collections.
FixedMap
Returns the key at the given index.
keyAt(int)
- Method in interface kodkod.util.collections.
Indexer
Returns the key at the given index.
kodkod.ast
- package kodkod.ast
Contains classes for creating Kodkod formulas, expressions, and integer expressions.
kodkod.ast.visitor
- package kodkod.ast.visitor
Contains visitors for Kodkod formulas, expressions, and integer expressions.
kodkod.engine
- package kodkod.engine
Provides classes for analyzing and evaluating Kodkod ASTs with respect to finite bounds or instances.
kodkod.engine.bool
- package kodkod.engine.bool
Provides classes for constructing and composing boolean matrices, boolean circuits, and boolean representations of integers.
kodkod.engine.config
- package kodkod.engine.config
Provides a mechanism for configuring the kodkod engine and for passing messages between the engine and the client.
kodkod.engine.fol2sat
- package kodkod.engine.fol2sat
Provides a facade for translating, evaluating, and approximating Kodkod formulas, expressions, and int expressions with respect to a given Bounds (or Instance) and Options.
kodkod.engine.satlab
- package kodkod.engine.satlab
Provides access to various Java and C++ SAT solvers through a common SAT Solver interface.
kodkod.engine.ucore
- package kodkod.engine.ucore
Contains strategies for minimizing unsatisfiable cores generated by SAT provers.
kodkod.instance
- package kodkod.instance
Contains classes for creating tuples, sets of tuples, bounds, and instances drawn from a finite universe of uninterpreted atoms.
kodkod.util.collections
- package kodkod.util.collections
Contains specialized collections, such as a set that provides methods for retrieving elements with a particular
hashcode
.
kodkod.util.ints
- package kodkod.util.ints
Provides implementations of ordered collections for storing integer primitives.
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