org.sat4j.pb.orders

Class LevelBasedVarOrderHeapObjective

java.lang.Object

org.sat4j.minisat.orders.VarOrderHeap

org.sat4j.minisat.orders.LevelBasedVarOrderHeap

org.sat4j.pb.orders.LevelBasedVarOrderHeapObjective

All Implemented Interfaces:

Serializable, IOrder, IOrderObjective

public class LevelBasedVarOrderHeapObjective
extends LevelBasedVarOrderHeap
implements IOrderObjective

See Also:

Serialized Form

Field Summary

Fields inherited from class org.sat4j.minisat.orders.VarOrderHeap

activity, heap, lits, phaseStrategy

Constructor Summary

Constructors

Constructor and Description
LevelBasedVarOrderHeapObjective()
LevelBasedVarOrderHeapObjective(IPhaseSelectionStrategy strategy)

Method Summary

Modifier and Type	Method and Description
void	init()
void	setObjectiveFunction(ObjectiveFunction obj)
String	toString()

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

addLevel, addLevel, createHeap

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

assignLiteral, getPhaseSelectionStrategy, getVariableHeuristics, getVocabulary, numberOfInterestingVariables, printStat, select, setLits, setPhaseSelectionStrategy, setVarDecay, undo, updateActivity, updateVar, 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, printStat, select, setLits, setPhaseSelectionStrategy, setVarDecay, undo, updateVar, updateVar, updateVarAtDecisionLevel, varActivity, varDecayActivity

Constructor Detail

LevelBasedVarOrderHeapObjective

public LevelBasedVarOrderHeapObjective()

LevelBasedVarOrderHeapObjective

public LevelBasedVarOrderHeapObjective(IPhaseSelectionStrategy strategy)

Method Detail

setObjectiveFunction

public void setObjectiveFunction(ObjectiveFunction obj)

Specified by:

setObjectiveFunction in interface IOrderObjective

init

public void init()

Specified by:

init in interface IOrder

Overrides:

init in class LevelBasedVarOrderHeap

toString

public String toString()

Overrides:

toString in class LevelBasedVarOrderHeap