Uses of Class
kodkod.engine.Options.IntEncoding

Packages that use Options.IntEncoding
kodkod.engine   
kodkod.engine.bool   
 

Uses of Options.IntEncoding in kodkod.engine
 

Methods in kodkod.engine 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 with parameters of type Options.IntEncoding
 void Options.setIntEncoding(Options.IntEncoding encoding)
          Sets the intEncoding option to the given value.
 

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.