org.sat4j.minisat.core
Interface LearningStrategy<L extends ILits,D extends DataStructureFactory<L>>

All Superinterfaces:

java.io.Serializable

All Known Implementing Classes:

ActiveLearning, ClauseOnlyLearning, FixedLengthLearning, LimitedLearning, MiniSATLearning, NoLearningButHeuristics, NoLearningNoHeuristics, PercentLengthLearning

public interface LearningStrategy<L extends ILits,D extends DataStructureFactory<L>>
extends java.io.Serializable

Implementation of the strategy design pattern for allowing various learning schemes.

Author:

leberre

Method Summary

void	init() hook method called just before the search begins.
void	learns(Constr constr)
void	setSolver(Solver<L,D> s)
void	setVarActivityListener(VarActivityListener s)

Method Detail

init

void init()

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

learns

void learns(Constr constr)

setVarActivityListener

void setVarActivityListener(VarActivityListener s)

setSolver

void setSolver(Solver<L,D> s)