org.sat4j.minisat.orders
Class MyOrder

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