Uses of Package
kodkod.engine.config

Packages that use kodkod.engine.config

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.

Classes in kodkod.engine.config used by kodkod.engine.config

Options.IntEncoding
Integer encoding options for the translation of int expressions.

Reporter
Enables passing of messages between the kodkod engine and the client about the following stages of the analysis: symmetry detection bounds and formula optimization (breaking of predicate symmetries, predicate inlining and skolemization) translation to a boolean circuit symmetry breaking predicate (SBP) generation circuit flattening translation to cnf running a sat solver on the generated cnf Some of these stages may not be executed, depending on the options used for analysis.

Classes in kodkod.engine.config used by kodkod.engine.fol2sat

Options
Stores information about various user-level translation and analysis options.