Kodkod API

Packages 
Package Description
kodkod.ast
Contains classes for creating Kodkod formulas, expressions, and integer expressions.
kodkod.ast.operator
Contains operators for Kodkod formulas, expressions, and integer expressions.
kodkod.ast.visitor
Contains visitors for Kodkod formulas, expressions, and integer expressions.
kodkod.engine
Provides classes for analyzing and evaluating Kodkod ASTs with respect to finite bounds or instances.
kodkod.engine.bool
Provides classes for constructing and composing boolean matrices, boolean circuits, and boolean representations of integers.
kodkod.engine.config
Provides a mechanism for configuring the kodkod engine and for passing messages between the engine and the client.
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
Provides access to various Java and C++ SAT solvers through a common SAT Solver interface.
kodkod.engine.ucore
Contains strategies for minimizing unsatisfiable cores generated by SAT provers.
kodkod.instance
Contains classes for creating tuples, sets of tuples, bounds, and instances drawn from a finite universe of uninterpreted atoms.
kodkod.util.collections
Contains specialized collections, such as a set that provides methods for retrieving elements with a particular hashcode.
kodkod.util.ints
Provides implementations of ordered collections for storing integer primitives.
kodkod.util.nodes
Provides utility methods for constructing, analyzing, and pretty printing Kodkod nodes.


© Emina Torlak 2005-2012