Package kodkod.engine.config

Provides a mechanism for configuring the kodkod engine and for passing messages between the engine and the client.

See:
          Description

Interface Summary
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.
 

Class Summary
AbstractReporter A skeleton implementation of the Reporter interface.
ConsoleReporter An implementation of the reporter interface that prints messages to the standard output stream.
Options Stores information about various user-level translation and analysis options.
 

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

Package kodkod.engine.config Description

Provides a mechanism for configuring the kodkod engine and for passing messages between the engine and the client.

Package Specification

Provides a mechanism for configuring the kodkod engine and for passing messages between the engine and the client. The class Options stores information about various user-level translation and analysis options. It can be used to choose the SAT solver, control symmetry breaking, etc. The interface Reporter enables passing of messages between the kodkod engine and the client via callback methods.

Related Documentation

See Also:
Options, Reporter