org.sat4j.pb.orders
Interface IOrderObjective

All Superinterfaces:

IOrder

All Known Implementing Classes:

RandomWalkDecoratorObjective, VarOrderHeapObjective

public interface IOrderObjective
extends IOrder

Method Summary

void	setObjectiveFunction(ObjectiveFunction obj)

Methods inherited from interface org.sat4j.minisat.core.IOrder

assignLiteral, getPhaseSelectionStrategy, init, printStat, select, setLits, setPhaseSelectionStrategy, setVarDecay, undo, updateVar, updateVarAtDecisionLevel, varActivity, varDecayActivity

Method Detail

setObjectiveFunction

void setObjectiveFunction(ObjectiveFunction obj)