org.sat4j.pb.orders
Class RandomWalkDecoratorObjective

java.lang.Object
  extended by org.sat4j.minisat.orders.RandomWalkDecorator
      extended by org.sat4j.pb.orders.RandomWalkDecoratorObjective
All Implemented Interfaces:
IOrder, IOrderObjective

public class RandomWalkDecoratorObjective
extends RandomWalkDecorator
implements IOrderObjective


Constructor Summary
RandomWalkDecoratorObjective(VarOrderHeapObjective order, double p)
           
 
Method Summary
 void setObjectiveFunction(ObjectiveFunction obj)
           
 
Methods inherited from class org.sat4j.minisat.orders.RandomWalkDecorator
assignLiteral, getPhaseSelectionStrategy, init, printStat, select, setLits, setPhaseSelectionStrategy, setVarDecay, toString, undo, 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, init, printStat, select, setLits, setPhaseSelectionStrategy, setVarDecay, undo, updateVar, updateVarAtDecisionLevel, varActivity, varDecayActivity
 

Constructor Detail

RandomWalkDecoratorObjective

public RandomWalkDecoratorObjective(VarOrderHeapObjective order,
                                    double p)
Method Detail

setObjectiveFunction

public void setObjectiveFunction(ObjectiveFunction obj)
Specified by:
setObjectiveFunction in interface IOrderObjective


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