org.sat4j.minisat.orders

Class PureOrder

java.lang.Object

org.sat4j.minisat.orders.VarOrderHeap

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

Constructors

Constructor and Description
PureOrder()
PureOrder(int p)

Method Summary

Methods

Modifier and Type	Method and Description
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 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