org.sat4j.minisat.orders
Class MyOrder

java.lang.Object
  extended by org.sat4j.minisat.orders.VarOrder<ILits2>
      extended by org.sat4j.minisat.orders.MyOrder
All Implemented Interfaces:
java.io.Serializable, IOrder<ILits2>

public class MyOrder
extends VarOrder<ILits2>

Author:
leberre To change the template for this generated type comment go to Window>Preferences>Java>Code Generation>Code and Comments
See Also:
Serialized Form

Field Summary
 
Fields inherited from class org.sat4j.minisat.orders.VarOrder
activity, lastVar, lits, order, phaseStrategy, varpos
 
Constructor Summary
MyOrder()
           
 
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 ().
 
Methods inherited from class org.sat4j.minisat.orders.VarOrder
assignLiteral, getPhaseSelectionStrategy, getVocabulary, numberOfInterestingVariables, printStat, select, setLits, setPhaseSelectionStrategy, setVarDecay, undo, updateActivity, updateVar, varActivity, varDecayActivity
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

MyOrder

public MyOrder()
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<ILits2>
Overrides:
init in class VarOrder<ILits2>

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<ILits2>
Returns:
les litteraux dans l'ordre courant.


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