org.sat4j.minisat.learning
Class PercentLengthLearning<L extends ILits>

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

public class PercentLengthLearning<L extends ILits>
extends LimitedLearning<L>

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)
           
 java.lang.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<L extends ILits>
Overrides:
init in class LimitedLearning<L extends ILits>

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

setBound

protected void setBound(int newbound)

learningCondition

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


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