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

O

Options - Class in kodkod.engine.config

Stores information about various user-level translation and analysis options.

Options() - Constructor for class kodkod.engine.config.Options

Constructs an Options object initalized with default values.

Options.IntEncoding - Enum in kodkod.engine.config

Integer encoding options for the translation of int expressions.

OrderableSolver - Interface in kodkod.engine.satlab

Solvers that implement methods to influence their variable ordering

OrderingMethod - Class in kodkod.engine.fol2sat.ordering

Abstract super-class of all ordering methods.

OrderingMethod() - Constructor for class kodkod.engine.fol2sat.ordering.OrderingMethod

overrideActivity(long, int, int) - Method in class kodkod.engine.satlab.MiniSat

Statically override MiniSAT's internal score by external priorities (highest first)

overrideOrder(int, int) - Method in class kodkod.engine.satlab.MiniSat

Overrides MiniSAT's internal ordering for the specified variable

overrideOrder(int, int) - Method in interface kodkod.engine.satlab.OrderableSolver

Statically override solver-internal variable ordering