org.sat4j.minisat.orders
Class VarOrderHeapObjective

java.lang.Object
  org.sat4j.minisat.orders.VarOrderHeap<ILits>
      org.sat4j.minisat.orders.VarOrderHeapObjective

All Implemented Interfaces:

java.io.Serializable, IOrder<ILits>

public class VarOrderHeapObjective
extends VarOrderHeap<ILits>

See Also:

Serialized Form

Field Summary

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

activity, heap, lits, phase

Constructor Summary

VarOrderHeapObjective()

Method Summary

void	assignLiteral(int p) indicate that a literal has been satisfied.
void	init() that method has the responsability to initialize all arrays in the heuristics.
void	setObjectiveFunction(ObjectiveFunction obj)
void	updateVar(int p) Appelee lorsque l'activite de la variable x a change.

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

getVocabulary, newVar, newVar, numberOfInterestingVariables, printStat, select, setLits, setVarDecay, toString, undo, updateActivity, varActivity, varDecayActivity

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

VarOrderHeapObjective

public VarOrderHeapObjective()

Method Detail

setObjectiveFunction

public void setObjectiveFunction(ObjectiveFunction obj)

init

public void init()

Description copied from class: VarOrderHeap

that method has the responsability to initialize all arrays in the heuristics. PLEASE CALL super.init() IF YOU OVERRIDE THAT METHOD.

Specified by:

init in interface IOrder<ILits>

Overrides:

init in class VarOrderHeap<ILits>

updateVar

public void updateVar(int p)

Description copied from class: VarOrderHeap

Appelee lorsque l'activite de la variable x a change.

Specified by:

updateVar in interface IOrder<ILits>

Overrides:

updateVar in class VarOrderHeap<ILits>

Parameters:

p - a literal

assignLiteral

public void assignLiteral(int p)

Description copied from interface: IOrder

indicate that a literal has been satisfied.

Specified by:

assignLiteral in interface IOrder<ILits>

Overrides:

assignLiteral in class VarOrderHeap<ILits>