org.sat4j.minisat.orders
Class PureOrder

java.lang.Object
  extended by org.sat4j.minisat.orders.VarOrderHeap
      extended by org.sat4j.minisat.orders.PureOrder
All Implemented Interfaces:
Serializable, IOrder

public final class PureOrder
extends VarOrderHeap

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.VarOrderHeap
activity, heap, lits, phaseStrategy
 
Constructor Summary
PureOrder()
           
PureOrder(int p)
           
 
Method Summary
 int getPeriod()
           
 int select()
          Selectionne une nouvelle variable, non affectee, ayant l'activite la plus elevee.
 void setPeriod(int p)
           
 String toString()
           
 
Methods inherited from class org.sat4j.minisat.orders.VarOrderHeap
assignLiteral, getPhaseSelectionStrategy, getVariableHeuristics, getVocabulary, init, numberOfInterestingVariables, printStat, setLits, setPhaseSelectionStrategy, setVarDecay, undo, updateActivity, updateVar, updateVarAtDecisionLevel, 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 class: VarOrderHeap
Selectionne une nouvelle variable, non affectee, ayant l'activite la plus elevee.

Specified by:
select in interface IOrder
Overrides:
select in class VarOrderHeap
Returns:
Lit.UNDEFINED si aucune variable n'est trouvee

toString

public String toString()
Overrides:
toString in class VarOrderHeap


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