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

Packages that use Options.IntEncoding
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. 
 

Uses of Options.IntEncoding in kodkod.engine.bool
 

Methods in kodkod.engine.bool that return Options.IntEncoding
abstract  Options.IntEncoding BooleanFactory.intEncoding()
          Returns the encoding used by this factory to represent integers.
 

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're 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.