Uses of Package
kodkod.engine.config

Packages that use kodkod.engine.config
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. 
 

Classes in kodkod.engine.config used by kodkod.engine
Options
          Stores information about various user-level translation and analysis options.
 

Classes in kodkod.engine.config used by kodkod.engine.bool
Options
          Stores information about various user-level translation and analysis options.
Options.IntEncoding
          Integer encoding options for the translation of int expressions.
 

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: bounds optimization (symmetry detection and breaking of predicate symmetries) formula optimization (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.