Uses of Class
kodkod.engine.fol2sat.ordering.OrderingMethod

Packages that use OrderingMethod

kodkod.engine.config	Provides a mechanism for configuring the kodkod engine and for passing messages between the engine and the client.
kodkod.engine.fol2sat.ordering

Uses of OrderingMethod in kodkod.engine.config

Methods in kodkod.engine.config that return OrderingMethod

OrderingMethod

Options.getOrderingMethod() Returns the present method to tamper with SAT solver's variable ordering.

Methods in kodkod.engine.config with parameters of type OrderingMethod

void	Options.setOrderingMethod(OrderingMethod ordering) Specify a method to tamper with SAT solver's variable ordering.

Uses of OrderingMethod in kodkod.engine.fol2sat.ordering

Subclasses of OrderingMethod in kodkod.engine.fol2sat.ordering

class	DefaultOrdering Default Ordering Method.
class	InitializePrimaryVariables Uniformly initialize SAT solver's internal score to prioritize primary variables
class	InputRestrictedBranching Restrict SAT solver to branch on primary variables only