org.sat4j.minisat.orders
Class JWOrder

java.lang.Object
  extended by org.sat4j.minisat.orders.VarOrder<ILits23>
      extended by 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.


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