org.sat4j.minisat.core

Interface LearningStrategy<D extends DataStructureFactory>

All Superinterfaces:

Serializable

All Known Implementing Classes:

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

public interface LearningStrategy<D extends DataStructureFactory>
extends Serializable

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

Author:

leberre

Method Summary

Methods

Modifier and Type	Method and Description
void	init() hook method called just before the search begins.
void	learns(Constr constr)
void	setSolver(Solver<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<D> s)