org.sat4j.minisat.orders
Class RSATPhaseSelectionStrategy

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

All Implemented Interfaces:

java.io.Serializable, IPhaseSelectionStrategy

public class RSATPhaseSelectionStrategy
extends java.lang.Object

Keeps track of the phase of the latest assignment.

Author:

leberre

See Also:

Serialized Form

Constructor Summary

RSATPhaseSelectionStrategy()

Method Summary

void	assignLiteral(int p) indicate that a literal has been satisfied.
void	init(int nlength) that method has the responsibility to initialize all arrays in the heuristics.
void	init(int var, int p) initialize the phase of a given variable to the given value.
int	select(int var) selects the phase of the variable according to a phase selection strategy.
java.lang.String	toString()
void	updateVar(int p) To be called when the activity of a literal changed.

Methods inherited from class java.lang.Object

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

Constructor Detail

RSATPhaseSelectionStrategy

public RSATPhaseSelectionStrategy()

Method Detail

assignLiteral

public void assignLiteral(int p)

Description copied from interface: IPhaseSelectionStrategy

indicate that a literal has been satisfied.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

updateVar

public void updateVar(int p)

Description copied from interface: IPhaseSelectionStrategy

To be called when the activity of a literal changed.

Parameters:

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

init

public void init(int nlength)

Description copied from interface: IPhaseSelectionStrategy

that method has the responsibility to initialize all arrays in the heuristics.

Specified by:

init in interface IPhaseSelectionStrategy

Parameters:

nlength - the number of variables managed by the heuristics.

init

public void init(int var,
                 int p)

Description copied from interface: IPhaseSelectionStrategy

initialize the phase of a given variable to the given value. That method is suppose to be called AFTER init(int).

Specified by:

init in interface IPhaseSelectionStrategy

Parameters:

var - a variable

p - it's initial phase

select

public int select(int var)

Description copied from interface: IPhaseSelectionStrategy

selects the phase of the variable according to a phase selection strategy.

Specified by:

select in interface IPhaseSelectionStrategy

Parameters:

var - a variable chosen by the heuristics

Returns:

either var or not var, depending of the selection strategy.