org.sat4j.minisat.orders
Class JWOrder

java.lang.Object
  org.sat4j.minisat.orders.VarOrder<ILits23>
      org.sat4j.minisat.orders.JWOrder

All Implemented Interfaces:

java.io.Serializable, IOrder<ILits23>

public class JWOrder
extends VarOrder<ILits23>

Author:

leberre Heuristique du prouveur. Changement par rapport au MiniSAT original : la gestion activity est faite ici et non plus dans Solver.

See Also:

Serialized Form

Field Summary

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

activity, lastVar, lits, order, phaseStrategy, varpos

Constructor Summary

JWOrder()

Method Summary

void	init() that method has the responsibility to initialize all arrays in the heuristics.
java.lang.String	toString() Affiche les litteraux dans l'ordre de l'heuristique, la valeur de l'activite entre ().
protected void	updateActivity(int var)

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

assignLiteral, getPhaseSelectionStrategy, getVocabulary, numberOfInterestingVariables, printStat, select, setLits, setPhaseSelectionStrategy, setVarDecay, undo, updateVar, varActivity, varDecayActivity

Methods inherited from class java.lang.Object

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

Constructor Detail

JWOrder

public JWOrder()

Method Detail

init

public void init()

Description copied from interface: IOrder

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

Specified by:

init in interface IOrder<ILits23>

Overrides:

init in class VarOrder<ILits23>

updateActivity

protected void updateActivity(int var)

Overrides:

updateActivity in class VarOrder<ILits23>

toString

public java.lang.String toString()

Description copied from class: VarOrder

Affiche les litteraux dans l'ordre de l'heuristique, la valeur de l'activite entre ().

Overrides:

toString in class VarOrder<ILits23>

Returns:

les litteraux dans l'ordre courant.