org.sat4j.minisat.orders
Class RandomLiteralSelectionStrategy

java.lang.Object
  extended by org.sat4j.minisat.orders.RandomLiteralSelectionStrategy
All Implemented Interfaces:
java.io.Serializable, IPhaseSelectionStrategy

public class RandomLiteralSelectionStrategy
extends java.lang.Object
implements IPhaseSelectionStrategy

The variable selection strategy randomly picks one phase, either positive or negative.

Author:
leberre
See Also:
Serialized Form

Field Summary
static java.util.Random rand
           
 
Constructor Summary
RandomLiteralSelectionStrategy()
           
 
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
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

rand

public static final java.util.Random rand
Constructor Detail

RandomLiteralSelectionStrategy

public RandomLiteralSelectionStrategy()
Method Detail

assignLiteral

public void assignLiteral(int p)
Description copied from interface: IPhaseSelectionStrategy
indicate that a literal has been satisfied.

Specified by:
assignLiteral in interface IPhaseSelectionStrategy

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.

updateVar

public void updateVar(int p)
Description copied from interface: IPhaseSelectionStrategy
To be called when the activity of a literal changed.

Specified by:
updateVar in interface IPhaseSelectionStrategy
Parameters:
p - a literal. The associated variable will be updated.

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object


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