A B C D E F G I K L M O P R S T V

S

setBitwidth(int) - Method in class kodkod.engine.config.Options

Sets this.bitwidth to the given value.

setCoreGranularity(int) - Method in class kodkod.engine.config.Options

Sets the core granularity level.

setFlatten(boolean) - Method in class kodkod.engine.config.Options

Sets the flattening option to the given value.

setIntEncoding(Options.IntEncoding) - Method in class kodkod.engine.config.Options

Sets the intEncoding option to the given value.

setLogTranslation(int) - Method in class kodkod.engine.config.Options

Sets the translation logging level.

setOrderingMethod(OrderingMethod) - Method in class kodkod.engine.config.Options

Specify a method to tamper with SAT solver's variable ordering.

setReporter(Reporter) - Method in class kodkod.engine.config.Options

Sets this.reporter to the given reporter.

setSharing(int) - Method in class kodkod.engine.config.Options

Sets the sharing option to the given value.

setSkolemDepth(int) - Method in class kodkod.engine.config.Options

Sets the skolemDepth to the given value.

setSolver(SATFactory) - Method in class kodkod.engine.config.Options

Sets the solver option to the given value.

setSymmetryBreaking(int) - Method in class kodkod.engine.config.Options

Sets the symmetryBreaking option to the given value.

sharing() - Method in class kodkod.engine.config.Options

Returns the depth to which circuits are checked for equivalence during translation.

skolemDepth() - Method in class kodkod.engine.config.Options

Returns the depth to which existential quantifiers are skolemized.

solve(long) - Method in class kodkod.engine.satlab.MiniSat

Calls the solve method on the given native peer.

solver() - Method in class kodkod.engine.config.Options

Returns the value of the solver options.

symmetryBreaking() - Method in class kodkod.engine.config.Options

Returns the 'amount' of symmetry breaking to perform.