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, getVariableHeuristics, init, printStat, select, setLits, setPhaseSelectionStrategy, setVarDecay, undo, updateVar, updateVarAtDecisionLevel, varActivity, varDecayActivity
 

Method Detail

setObjectiveFunction

void setObjectiveFunction(ObjectiveFunction obj)


Copyright © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.