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:

Serializable, LearningStrategy<D>

public final 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

Constructors

Constructor and Description
ActiveLearning()
ActiveLearning(double d)

Method Summary

Methods

Modifier and Type	Method and Description
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)
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 String toString()

Overrides:

toString in class Object

setLimit

public void setLimit(int percent)

getLimit

public int getLimit()