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
 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)


Copyright © 2010 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.