org.sat4j.minisat.orders
Class VarOrderHeap

java.lang.Object
  org.sat4j.minisat.orders.VarOrderHeap

All Implemented Interfaces:

java.io.Serializable, IOrder

public class VarOrderHeap
extends java.lang.Object
implements IOrder, java.io.Serializable

Author:

leberre Heuristique du prouveur. Changement par rapport au MiniSAT original : la gestion activity est faite ici et non plus dans Solver.

See Also:

Serialized Form

Constructor Summary

VarOrderHeap()

Method Summary

ILits	getVocabulary()
void	init() that method has the responsability to initialize all arrays in the heuristics.
void	newVar() Appel�e quand une nouvelle variable est cr��e.
void	newVar(int howmany) Appel�e lorsque plusieurs variables sont cr��es
int	numberOfInterestingVariables()
void	printStat(java.io.PrintStream out, java.lang.String prefix)
int	select() S�lectionne une nouvelle variable, non affect�e, ayant l'activit� la plus �lev�e.
void	setLits(ILits lits)
void	setVarDecay(double d) Change la valeur de varDecay.
java.lang.String	toString()
void	undo(int x) M�thode appel�e quand la variable x est d�saffect�e.
void	updateVar(int p) Appel�e lorsque l'activit� de la variable x a chang�.
double	varActivity(int p) To obtain the current activity of a variable.
void	varDecayActivity()

Methods inherited from class java.lang.Object

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

Constructor Detail

VarOrderHeap

public VarOrderHeap()

Method Detail

setLits

public void setLits(ILits lits)

Specified by:

setLits in interface IOrder

newVar

public void newVar()

Appel�e quand une nouvelle variable est cr��e.

Specified by:

newVar in interface IOrder

newVar

public void newVar(int howmany)

Appel�e lorsque plusieurs variables sont cr��es

Specified by:

newVar in interface IOrder

Parameters:

howmany - le nombre de variables cr��es

select

public int select()

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

Specified by:

select in interface IOrder

Returns:

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

setVarDecay

public void setVarDecay(double d)

Change la valeur de varDecay.

Specified by:

setVarDecay in interface IOrder

Parameters:

d - la nouvelle valeur de varDecay

undo

public void undo(int x)

M�thode appel�e quand la variable x est d�saffect�e.

Specified by:

undo in interface IOrder

Parameters:

x -

updateVar

public void updateVar(int p)

Appel�e lorsque l'activit� de la variable x a chang�.

Specified by:

updateVar in interface IOrder

Parameters:

p - a literal

varDecayActivity

public void varDecayActivity()

Specified by:

varDecayActivity in interface IOrder

varActivity

public double varActivity(int p)

Description copied from interface: IOrder

To obtain the current activity of a variable.

Specified by:

varActivity in interface IOrder

Parameters:

p - a literal

Returns:

the activity of the variable associated to that literal.

numberOfInterestingVariables

public int numberOfInterestingVariables()

init

public void init()

that method has the responsability to initialize all arrays in the heuristics. PLEASE CALL super.init() IF YOU OVERRIDE THAT METHOD.

Specified by:

init in interface IOrder

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getVocabulary

public ILits getVocabulary()

printStat

public void printStat(java.io.PrintStream out,
                      java.lang.String prefix)

Specified by:

printStat in interface IOrder