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

java.lang.Object
  org.sat4j.minisat.learning.LimitedLearning<L>
      org.sat4j.minisat.learning.ActiveLearning<L>

All Implemented Interfaces:

java.io.Serializable, LearningStrategy<L>

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

Learn clauses with a great number of active variables.

Author:

leberre

See Also:

Serialized Form

Constructor Summary

ActiveLearning()

ActiveLearning(double d)

Method Summary

double	getActivityPercent()
int	getLimit()
void	setActivityPercent(double d)
void	setLimit(int percent)
void	setOrder(IOrder<L> order)
void	setSolver(Solver<L> s)
java.lang.String	toString()

Methods inherited from class org.sat4j.minisat.learning.LimitedLearning

init, learns, 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<L> order)

setSolver

public void setSolver(Solver<L> s)

Specified by:

setSolver in interface LearningStrategy<L extends ILits>

Overrides:

setSolver in class LimitedLearning<L extends ILits>

setActivityPercent

public void setActivityPercent(double d)

getActivityPercent

public double getActivityPercent()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

setLimit

public void setLimit(int percent)

getLimit

public int getLimit()