org.sat4j.minisat.learning
Class ActiveLearning

java.lang.Object
  org.sat4j.minisat.learning.LimitedLearning
      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