org.sat4j.minisat.orders
Class MyOrder

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