org.sat4j.minisat.orders
Class PureOrder

java.lang.Object
  org.sat4j.minisat.orders.VarOrder<ILits>
      org.sat4j.minisat.orders.PureOrder

All Implemented Interfaces:

java.io.Serializable, IOrder<ILits>

public class PureOrder
extends VarOrder<ILits>

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

Field Summary

Fields inherited from class org.sat4j.minisat.orders.VarOrder

activity, lastVar, lits, order, phaseStrategy, varpos

Constructor Summary

PureOrder()

PureOrder(int p)

Method Summary

int	getPeriod()
int	select() Selects the next "best" unassigned literal.
void	setPeriod(int p)
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, init, numberOfInterestingVariables, printStat, 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

PureOrder

public PureOrder()

PureOrder

public PureOrder(int p)

Method Detail

setPeriod

public final void setPeriod(int p)

getPeriod

public int getPeriod()

select

public int select()

Description copied from interface: IOrder

Selects the next "best" unassigned literal. Note that it means selecting the best variable and the phase to branch on first.

Specified by:

select in interface IOrder<ILits>

Overrides:

select in class VarOrder<ILits>

Returns:

an unassigned literal or Lit.UNDEFINED no such literal exists.

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

Returns:

les litteraux dans l'ordre courant.