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

I

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

Initialize MiniSAT's internal score used to order variables (highest first)

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

Initializes MiniSAT's internal ordering for the specified variable

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

Initialize solver-internal variable ordering

InitializePrimaryVariables - Class in kodkod.engine.fol2sat.ordering

Uniformly initialize SAT solver's internal score to prioritize primary variables

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

Initialize the SAT solver's internal score for primary variables with a value of 3.0

InitializePrimaryVariables(double) - Constructor for class kodkod.engine.fol2sat.ordering.InitializePrimaryVariables

Initialize SAT solver's internal score for primary variables

InputRestrictedBranching - Class in kodkod.engine.fol2sat.ordering

Restrict SAT solver to branch on primary variables only

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

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

Returns the range of integers that can be encoded using this.intEncoding and this.bitwidth.

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

Returns the integer encoding that will be used for translating int nodes.