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
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)
Copyright © 2010 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.