org.sat4j.minisat.learning
Class ActiveLearning

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

public class ActiveLearning
extends LimitedLearning

Learn clauses with a great number of active variables.

Author:
leberre
See Also:
Serialized Form

Constructor Summary
ActiveLearning()
           
ActiveLearning(double d)
           
 
Method Summary
 void setOrder(IOrder order)
           
 java.lang.String toString()
           
 
Methods inherited from class org.sat4j.minisat.learning.LimitedLearning
init, learns, setSolver, setVarActivityListener
 
Methods inherited from class java.lang.Object
equals, 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)

toString

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