org.sat4j.minisat.orders
Class JWOrder

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

Constructor Summary

JWOrder()

Method Summary

void	init() that method has the responsability 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, getVocabulary, newVar, newVar, numberOfInterestingVariables, printStat, select, setLits, 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

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<ILits23>

Overrides:

init 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.