kodkod.engine.fol2sat.ordering
Class InitializePrimaryVariables

java.lang.Object
  kodkod.engine.fol2sat.ordering.OrderingMethod
      kodkod.engine.fol2sat.ordering.InitializePrimaryVariables

public class InitializePrimaryVariables
extends OrderingMethod

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

Author:

Markus Iser

Field Summary

(package private) double

priority

Constructor Summary

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

InitializePrimaryVariables(double priority)
Initialize SAT solver's internal score for primary variables

Method Summary

void	apply(OrderableSolver solver, int primaryVars)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

priority

double priority

Constructor Detail

InitializePrimaryVariables

public InitializePrimaryVariables()

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

InitializePrimaryVariables

public InitializePrimaryVariables(double priority)

Initialize SAT solver's internal score for primary variables

Parameters:

priority - specifies the value used to initialize the SAT solver's internal score

Method Detail

apply

public void apply(OrderableSolver solver,
                  int primaryVars)

Specified by:

apply in class OrderingMethod