public interface IOrderObjective extends IOrder
Modifier and Type | Method and Description |
---|---|
void |
setObjectiveFunction(ObjectiveFunction obj) |
assignLiteral, getPhaseSelectionStrategy, getVariableHeuristics, init, printStat, select, setLits, setPhaseSelectionStrategy, setVarDecay, undo, updateVar, updateVarAtDecisionLevel, varActivity, varDecayActivity
void setObjectiveFunction(ObjectiveFunction obj)