org.sat4j.minisat.learning
Class MiniSATLearning

java.lang.Object
  org.sat4j.minisat.learning.MiniSATLearning

All Implemented Interfaces:

java.io.Serializable, LearningStrategy

public class MiniSATLearning
extends java.lang.Object
implements java.io.Serializable

MiniSAT learning scheme.

Author:

leberre

See Also:

Serialized Form

Constructor Summary

MiniSATLearning()

Method Summary

void	claBumpActivity(Constr reason)
void	init() hook method called just before the search begins.
void	learns(Constr constr)
void	setDataStructureFactory(DataStructureFactory dsf)
void	setVarActivityListener(VarActivityListener s)

Methods inherited from class java.lang.Object

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

Constructor Detail

MiniSATLearning

public MiniSATLearning()

Method Detail

setDataStructureFactory

public void setDataStructureFactory(DataStructureFactory dsf)

init

public void init()

Description copied from interface: LearningStrategy

hook method called just before the search begins. Useful to compute metrics/parameters based on the input formula.

Specified by:

init in interface LearningStrategy

learns

public void learns(Constr constr)

Specified by:

learns in interface LearningStrategy

setVarActivityListener

public void setVarActivityListener(VarActivityListener s)

Specified by:

setVarActivityListener in interface LearningStrategy

claBumpActivity

public final void claBumpActivity(Constr reason)