org.sat4j.minisat.learning
Class LimitedLearning<D extends DataStructureFactory>

java.lang.Object
  extended by org.sat4j.minisat.learning.LimitedLearning<D>
All Implemented Interfaces:
Serializable, LearningStrategy<D>
Direct Known Subclasses:
ActiveLearning, ClauseOnlyLearning, FixedLengthLearning, PercentLengthLearning

public abstract class LimitedLearning<D extends DataStructureFactory>
extends Object
implements LearningStrategy<D>

Learn only clauses which size is smaller than a percentage of the number of variables.

Author:
leberre
See Also:
Serialized Form

Field Summary
protected  ILits lits
           
 
Constructor Summary
LimitedLearning()
           
 
Method Summary
 void init()
          hook method called just before the search begins.
protected abstract  boolean learningCondition(Constr constr)
           
 void learns(Constr constr)
           
 void setSolver(Solver<D> s)
           
 void setVarActivityListener(VarActivityListener s)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

lits

protected ILits lits
Constructor Detail

LimitedLearning

public LimitedLearning()
Method Detail

setSolver

public void setSolver(Solver<D> s)
Specified by:
setSolver in interface LearningStrategy<D extends DataStructureFactory>

learns

public void learns(Constr constr)
Specified by:
learns in interface LearningStrategy<D extends DataStructureFactory>

learningCondition

protected abstract boolean learningCondition(Constr constr)

init

public void init()
Description copied from interface: LearningStrategy
hook method called just before the search begins. Useful to compute metrics/parameters based on the input formula.

Specified by:
init in interface LearningStrategy<D extends DataStructureFactory>

setVarActivityListener

public void setVarActivityListener(VarActivityListener s)
Specified by:
setVarActivityListener in interface LearningStrategy<D extends DataStructureFactory>


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