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

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

All Implemented Interfaces:

java.io.Serializable, LearningStrategy<D>

public 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)
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 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 java.lang.String toString()

Overrides:

toString in class java.lang.Object

setLimit

public void setLimit(int percent)

getLimit

public int getLimit()