org.sat4j.pb.orders
Class VarOrderHeapObjective

java.lang.Object
  extended by org.sat4j.minisat.orders.VarOrderHeap
      extended by 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


Copyright © 2011 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.