org.sat4j.minisat.core
Interface IOrder

All Known Implementing Classes:

JWOrder, MyOrder, PureOrder, VarOrder, VarOrderHeap

public interface IOrder

Method Summary

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
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)
void	undo(int x) M�thode appel�e quand la variable x est d�saffect�e.
void	updateVar(int p) To be called when the activity of a literal changed.
double	varActivity(int p) To obtain the current activity of a variable.
void	varDecayActivity()

Method Detail

setLits

void setLits(ILits lits)

newVar

void newVar()

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

newVar

void newVar(int howmany)

Appel�e lorsque plusieurs variables sont cr��es

Parameters:

howmany - le nombre de variables cr��es

select

int select()

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

Returns:

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

undo

void undo(int x)

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

Parameters:

x -

updateVar

void updateVar(int p)

To be called when the activity of a literal changed.

Parameters:

p - a literal. The associated variable will be updated.

init

void init()

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

printStat

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

setVarDecay

void setVarDecay(double d)

varDecayActivity

void varDecayActivity()

varActivity

double varActivity(int p)

To obtain the current activity of a variable.

Parameters:

p - a literal

Returns:

the activity of the variable associated to that literal.