- 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.operator - package kodkod.ast.operator
-
Contains operators for 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.
- kodkod.util.nodes - package kodkod.util.nodes
-
Provides utility methods for constructing, analyzing, and pretty printing Kodkod nodes.
- KodkodSolver - Interface in kodkod.engine
-
A computational engine for solving relational satisfiability problems.