org.sat4j.pb.orders
Class RandomWalkDecoratorObjective
java.lang.Object
org.sat4j.minisat.orders.RandomWalkDecorator
org.sat4j.pb.orders.RandomWalkDecoratorObjective
- All Implemented Interfaces:
- IOrder, IOrderObjective
public class RandomWalkDecoratorObjective
- extends RandomWalkDecorator
- implements IOrderObjective
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 interface org.sat4j.minisat.core.IOrder |
assignLiteral, getPhaseSelectionStrategy, init, printStat, select, setLits, setPhaseSelectionStrategy, setVarDecay, undo, updateVar, updateVarAtDecisionLevel, varActivity, varDecayActivity |
RandomWalkDecoratorObjective
public RandomWalkDecoratorObjective(VarOrderHeapObjective order,
double p)
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.