org.sat4j.minisat.orders
Class PureOrder

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


Copyright © 2009 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.