org.sat4j.minisat.orders
Class VarOrderHeapObjective

java.lang.Object
  org.sat4j.minisat.orders.VarOrderHeap
      org.sat4j.minisat.orders.VarOrderHeapObjective

All Implemented Interfaces:

java.io.Serializable, IOrder

public class VarOrderHeapObjective
extends VarOrderHeap

See Also:

Serialized Form

Constructor Summary

VarOrderHeapObjective()

Method Summary

void	init() that method has the responsability to initialize all arrays in the heuristics.
void	setObjectiveFunction(ObjectiveFunction obj)

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

getVocabulary, newVar, newVar, numberOfInterestingVariables, printStat, select, setLits, setVarDecay, toString, undo, updateVar, varActivity, varDecayActivity

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

VarOrderHeapObjective

public VarOrderHeapObjective()

Method Detail

setObjectiveFunction

public void setObjectiveFunction(ObjectiveFunction obj)

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