public class VarOrderHeapObjective extends VarOrderHeap implements IOrderObjective
activity, heap, lits, phaseStrategy
Constructor and Description |
---|
VarOrderHeapObjective() |
VarOrderHeapObjective(IPhaseSelectionStrategy strategy) |
Modifier and Type | Method and Description |
---|---|
void |
init()
that method has the responsability to initialize all arrays in the
heuristics.
|
void |
setObjectiveFunction(ObjectiveFunction obj) |
String |
toString() |
assignLiteral, getPhaseSelectionStrategy, getVariableHeuristics, getVocabulary, numberOfInterestingVariables, printStat, select, setLits, setPhaseSelectionStrategy, setVarDecay, undo, updateActivity, updateVar, updateVarAtDecisionLevel, varActivity, varDecayActivity
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
assignLiteral, getPhaseSelectionStrategy, getVariableHeuristics, printStat, select, setLits, setPhaseSelectionStrategy, setVarDecay, undo, updateVar, updateVarAtDecisionLevel, varActivity, varDecayActivity
public VarOrderHeapObjective()
public VarOrderHeapObjective(IPhaseSelectionStrategy strategy)
public void setObjectiveFunction(ObjectiveFunction obj)
setObjectiveFunction
in interface IOrderObjective
public void init()
VarOrderHeap
init
in interface IOrder
init
in class VarOrderHeap
public String toString()
toString
in class VarOrderHeap
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.