org.sat4j.minisat.orders
Class PureOrder

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

All Implemented Interfaces:

java.io.Serializable, IOrder

public class PureOrder
extends VarOrder

Author:

leberre TODO To change the template for this generated type comment go to Window - Preferences - Java - Code Style - Code Templates

See Also:

Serialized Form

Constructor Summary

PureOrder()

PureOrder(int p)

Method Summary

int	select() S�lectionne une nouvelle variable, non affect�e, ayant l'activit� la plus �lev�e.
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, init, newVar, newVar, numberOfInterestingVariables, printStat, setLits, setVarDecay, undo, updateVar, varActivity, varDecayActivity

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

PureOrder

public PureOrder()

PureOrder

public PureOrder(int p)

Method Detail

select

public int select()

Description copied from interface: IOrder

S�lectionne une nouvelle variable, non affect�e, ayant l'activit� la plus �lev�e.

Specified by:

select in interface IOrder

Overrides:

select in class VarOrder

Returns:

Lit.UNDEFINED si aucune variable n'est trouv�e

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.