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

A

addClause(long, int[]) - Method in class kodkod.engine.satlab.MiniSat

Ensures that the given native peer logically contains the specified clause and returns true if the solver's clause database changed as a result of the call.

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

Adds the specified number of variables to the given native peer.

apply(OrderableSolver, int) - Method in class kodkod.engine.fol2sat.ordering.DefaultOrdering

apply(OrderableSolver, int) - Method in class kodkod.engine.fol2sat.ordering.InitializePrimaryVariables

apply(OrderableSolver, int) - Method in class kodkod.engine.fol2sat.ordering.InputRestrictedBranching

apply(OrderableSolver, int) - Method in class kodkod.engine.fol2sat.ordering.OrderingMethod

approximate(Expression, Bounds, Options) - Static method in class kodkod.engine.fol2sat.Translator

Overapproximates the value of the given expression using the provided bounds and options.