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

java.lang.Object
  extended by org.sat4j.minisat.learning.LimitedLearning<D>
      extended by org.sat4j.minisat.learning.PercentLengthLearning<D>
All Implemented Interfaces:
Serializable, LearningStrategy<D>

public final class PercentLengthLearning<D extends DataStructureFactory>
extends LimitedLearning<D>

Selects the constraints to learn according to its length as a percentage of the total number of variables in the solver universe.

Author:
daniel
See Also:
Serialized Form

Field Summary
 
Fields inherited from class org.sat4j.minisat.learning.LimitedLearning
lits
 
Constructor Summary
PercentLengthLearning()
           
PercentLengthLearning(int percent)
           
 
Method Summary
 int getLimit()
           
 void init()
          hook method called just before the search begins.
protected  boolean learningCondition(Constr constr)
           
protected  void setBound(int newbound)
           
 void setLimit(int percent)
           
 String toString()
           
 
Methods inherited from class org.sat4j.minisat.learning.LimitedLearning
learns, setSolver, setVarActivityListener
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

PercentLengthLearning

public PercentLengthLearning()

PercentLengthLearning

public PercentLengthLearning(int percent)
Method Detail

setLimit

public void setLimit(int percent)

getLimit

public int getLimit()

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>
Overrides:
init in class LimitedLearning<D extends DataStructureFactory>

toString

public String toString()
Overrides:
toString in class Object

setBound

protected void setBound(int newbound)

learningCondition

protected boolean learningCondition(Constr constr)
Specified by:
learningCondition in class LimitedLearning<D extends DataStructureFactory>


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