org.sat4j.minisat.orders

Class SubsetVarOrder

java.lang.Object

org.sat4j.minisat.orders.VarOrderHeap

org.sat4j.minisat.orders.SubsetVarOrder

All Implemented Interfaces:

Serializable, IOrder

public class SubsetVarOrder
extends VarOrderHeap

See Also:

Serialized Form

Field Summary

Fields inherited from class org.sat4j.minisat.orders.VarOrderHeap

activity, heap, lits, phaseStrategy

Constructor Summary

Constructors

Constructor and Description
SubsetVarOrder(int[] varsToTest)

Method Summary

Methods

Modifier and Type	Method and Description
void	init() that method has the responsability to initialize all arrays in the heuristics.

Methods inherited from class org.sat4j.minisat.orders.VarOrderHeap

assignLiteral, getPhaseSelectionStrategy, getVariableHeuristics, getVocabulary, numberOfInterestingVariables, printStat, select, setLits, setPhaseSelectionStrategy, setVarDecay, toString, undo, updateActivity, updateVar, updateVarAtDecisionLevel, varActivity, varDecayActivity

Methods inherited from class java.lang.Object

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

Constructor Detail

SubsetVarOrder

public SubsetVarOrder(int[] varsToTest)

Method Detail

init

public void init()

Description copied from class: VarOrderHeap

that method has the responsability to initialize all arrays in the heuristics. PLEASE CALL super.init() IF YOU OVERRIDE THAT METHOD.

Specified by:

init in interface IOrder

Overrides:

init in class VarOrderHeap