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

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

public class ActiveLearning<L extends ILits,D extends DataStructureFactory<L>>
extends LimitedLearning<L,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<L> order)
           
 void setSolver(Solver<L,D> s)
           
 java.lang.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<L> order)

setSolver

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

setActivityPercent

public void setActivityPercent(double d)

getActivityPercent

public double getActivityPercent()

learningCondition

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

toString

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

setLimit

public void setLimit(int percent)

getLimit

public int getLimit()


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