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

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

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

Learn clauses with a great number of active variables.

Author:
leberre
See Also:
Serialized Form

Field Summary
 
Fields inherited from class org.sat4j.minisat.learning.LimitedLearning
lits
 
Constructor Summary
ActiveLearning()
           
ActiveLearning(double d)
           
 
Method Summary
 double getActivityPercent()
           
 int getLimit()
           
protected  boolean learningCondition(Constr clause)
           
 void setActivityPercent(double d)
           
 void setLimit(int percent)
           
 void setOrder(IOrder order)
           
 void setSolver(Solver<D> s)
           
 String toString()
           
 
Methods inherited from class org.sat4j.minisat.learning.LimitedLearning
init, learns, setVarActivityListener
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ActiveLearning

public ActiveLearning()

ActiveLearning

public ActiveLearning(double d)
Method Detail

setOrder

public void setOrder(IOrder order)

setSolver

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

setActivityPercent

public void setActivityPercent(double d)

getActivityPercent

public double getActivityPercent()

learningCondition

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

toString

public String toString()
Overrides:
toString in class Object

setLimit

public void setLimit(int percent)

getLimit

public int getLimit()


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