Overview   Package  Class  Use  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES    

Package kodkod.engine.config

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

See:
          Description

Class Summary
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
Overview   Package  Class  Use  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES