org.sat4j.pb.orders
Class VarOrderHeapObjective

java.lang.Object
  extended by org.sat4j.minisat.orders.VarOrderHeap<ILits>
      extended by org.sat4j.pb.orders.VarOrderHeapObjective
All Implemented Interfaces:
java.io.Serializable, IOrder<ILits>

public class VarOrderHeapObjective
extends VarOrderHeap<ILits>

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)
           
 java.lang.String toString()
           
 
Methods inherited from class org.sat4j.minisat.orders.VarOrderHeap
assignLiteral, getPhaseSelectionStrategy, getVocabulary, numberOfInterestingVariables, printStat, select, setLits, setPhaseSelectionStrategy, setVarDecay, undo, updateActivity, updateVar, varActivity, varDecayActivity
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

VarOrderHeapObjective

public VarOrderHeapObjective()

VarOrderHeapObjective

public VarOrderHeapObjective(IPhaseSelectionStrategy strategy)
Method Detail

setObjectiveFunction

public void setObjectiveFunction(ObjectiveFunction obj)

init

public void init()
Specified by:
init in interface IOrder<ILits>
Overrides:
init in class VarOrderHeap<ILits>

toString

public java.lang.String toString()
Overrides:
toString in class VarOrderHeap<ILits>


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