org.sat4j.pb.orders

Interface IOrderObjective

All Superinterfaces:

IOrder

All Known Implementing Classes:

LevelBasedVarOrderHeapObjective, RandomWalkDecoratorObjective, VarOrderHeapObjective

public interface IOrderObjective
extends IOrder

Method Summary

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

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

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

Method Detail

setObjectiveFunction

void setObjectiveFunction(ObjectiveFunction obj)