org.sat4j.pb.orders
Class VarOrderHeapObjective

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

All Implemented Interfaces:

Serializable, IOrder, IOrderObjective

public class VarOrderHeapObjective
extends VarOrderHeap
implements IOrderObjective

See Also:

Serialized Form

Field Summary

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

activity, heap, lits, phaseStrategy

Constructor Summary

VarOrderHeapObjective()

VarOrderHeapObjective(IPhaseSelectionStrategy strategy)

Method Summary

void	init()
void	setObjectiveFunction(ObjectiveFunction obj)
String	toString()

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

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

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.sat4j.minisat.core.IOrder

assignLiteral, getPhaseSelectionStrategy, printStat, select, setLits, setPhaseSelectionStrategy, setVarDecay, undo, updateVar, updateVarAtDecisionLevel, varActivity, varDecayActivity

Constructor Detail

VarOrderHeapObjective

public VarOrderHeapObjective()

VarOrderHeapObjective

public VarOrderHeapObjective(IPhaseSelectionStrategy strategy)

Method Detail

setObjectiveFunction

public void setObjectiveFunction(ObjectiveFunction obj)

Specified by:

setObjectiveFunction in interface IOrderObjective

init

public void init()

Specified by:

init in interface IOrder

Overrides:

init in class VarOrderHeap

toString

public String toString()

Overrides:

toString in class VarOrderHeap