org.sat4j.minisat.orders
Class JWOrder

java.lang.Object
  org.sat4j.minisat.orders.VarOrder
      org.sat4j.minisat.orders.JWOrder

All Implemented Interfaces:

java.io.Serializable, IOrder

public class JWOrder
extends VarOrder

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

Constructor Summary

JWOrder()

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

JWOrder

public JWOrder()

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.