Uses of Class
kodkod.engine.config.Options.IntEncoding

Packages that use Options.IntEncoding

kodkod.engine.config

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

Uses of Options.IntEncoding in kodkod.engine.config

Methods in kodkod.engine.config that return Options.IntEncoding

Options.IntEncoding	Options.intEncoding() Returns the integer encoding that will be used for translating int nodes.
static Options.IntEncoding	Options.IntEncoding.valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static Options.IntEncoding[]	Options.IntEncoding.values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods in kodkod.engine.config with parameters of type Options.IntEncoding

void	Options.setIntEncoding(Options.IntEncoding encoding) Sets the intEncoding option to the given value.