org.sat4j.minisat.core
Interface LearningStrategy

All Superinterfaces:

java.io.Serializable

All Known Implementing Classes:

ActiveLearning, FixedLengthLearning, LimitedLearning, MiniSATLearning, NoLearningButHeuristics, NoLearningNoHeuristics

public interface LearningStrategy
extends java.io.Serializable

Author:

leberre To change the template for this generated type comment go to Window - Preferences - Java - Code Generation - Code and Comments

Method Summary

void	init() hook method called just before the search begins.
void	learns(Constr constr)
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)