org.sat4j.minisat.learning

Class MiniSATLearning<D extends DataStructureFactory>

java.lang.Object

org.sat4j.minisat.learning.MiniSATLearning<D>

All Implemented Interfaces:

Serializable, LearningStrategy<D>

public final class MiniSATLearning<D extends DataStructureFactory>
extends Object

MiniSAT learning scheme. The Data Structure Factory is expected to be set thanks to the appropriate setter method before using it. It was not possible to set it in the constructor.

Author:

leberre

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
MiniSATLearning()

Method Summary

Methods

Modifier and Type	Method and Description
void	claBumpActivity(Constr reason)
void	init() hook method called just before the search begins.
void	learns(Constr constr)
void	setDataStructureFactory(DataStructureFactory dsf)
void	setSolver(Solver<D> s)
void	setVarActivityListener(VarActivityListener s)
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

MiniSATLearning

public MiniSATLearning()

Method Detail

setDataStructureFactory

public void setDataStructureFactory(DataStructureFactory dsf)

setSolver

public void setSolver(Solver<D> s)

Specified by:

setSolver in interface LearningStrategy<D extends DataStructureFactory>

learns

public void learns(Constr constr)

toString

public String toString()

Overrides:

toString in class Object

setVarActivityListener

public void setVarActivityListener(VarActivityListener s)

Specified by:

setVarActivityListener in interface LearningStrategy<D extends DataStructureFactory>

claBumpActivity

public final void claBumpActivity(Constr reason)

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<D extends DataStructureFactory>