org.sat4j.minisat.orders
Class MyOrder

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

public class MyOrder
extends VarOrder

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

Constructor Summary
MyOrder()
           
 
Method Summary
 void init()
          that method has the responsability to initialize all arrays in the heuristics.
 void setLits(ILits lits)
           
 java.lang.String toString()
          Affiche les litt�raux dans l'ordre de l'heuristique, la valeur de l'activite entre ().
 
Methods inherited from class org.sat4j.minisat.orders.VarOrder
getVocabulary, newVar, newVar, numberOfInterestingVariables, printStat, select, setVarDecay, undo, updateVar, varActivity, varDecayActivity
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

MyOrder

public MyOrder()
Method Detail

setLits

public void setLits(ILits lits)
Specified by:
setLits in interface IOrder
Overrides:
setLits in class VarOrder

init

public void init()
Description copied from interface: IOrder
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
Overrides:
init in class VarOrder

toString

public java.lang.String toString()
Description copied from class: VarOrder
Affiche les litt�raux dans l'ordre de l'heuristique, la valeur de l'activite entre ().

Overrides:
toString in class VarOrder
Returns:
les litt�raux dans l'ordre courant.