org.sat4j.pb.orders

Class RandomWalkDecoratorObjective

java.lang.Object

org.sat4j.minisat.orders.RandomWalkDecorator

org.sat4j.pb.orders.RandomWalkDecoratorObjective

All Implemented Interfaces:

Serializable, IOrder, IOrderObjective

public class RandomWalkDecoratorObjective
extends RandomWalkDecorator
implements IOrderObjective

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
RandomWalkDecoratorObjective(VarOrderHeapObjective order, double p)

Method Summary

Methods

Modifier and Type	Method and Description
void	setObjectiveFunction(ObjectiveFunction obj)

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

assignLiteral, getPhaseSelectionStrategy, getProbability, getVariableHeuristics, init, printStat, select, setLits, setPhaseSelectionStrategy, setProbability, 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, getVariableHeuristics, 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