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

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

All Implemented Interfaces:

Serializable, LearningStrategy<D>

Direct Known Subclasses:

ActiveLearning, ClauseOnlyLearning, FixedLengthLearning, PercentLengthLearning

public abstract class LimitedLearning<D extends DataStructureFactory>
extends Object
implements LearningStrategy<D>

Learn only clauses which size is smaller than a percentage of the number of variables.

Author:

leberre

See Also:

Serialized Form

Field Summary

protected ILits

lits

Constructor Summary

LimitedLearning()

Method Summary

void	init() hook method called just before the search begins.
protected abstract boolean	learningCondition(Constr constr)
void	learns(Constr constr)
void	setSolver(Solver<D> s)
void	setVarActivityListener(VarActivityListener s)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

lits

protected ILits lits

Constructor Detail

LimitedLearning

public LimitedLearning()

Method Detail

setSolver

public void setSolver(Solver<D> s)

Specified by:

setSolver in interface LearningStrategy<D extends DataStructureFactory>

learns

public void learns(Constr constr)

Specified by:

learns in interface LearningStrategy<D extends DataStructureFactory>

learningCondition

protected abstract boolean learningCondition(Constr constr)

init

public void init()

Description copied from interface: LearningStrategy

hook method called just before the search begins. Useful to compute metrics/parameters based on the input formula.

Specified by:

init in interface LearningStrategy<D extends DataStructureFactory>

setVarActivityListener

public void setVarActivityListener(VarActivityListener s)

Specified by:

setVarActivityListener in interface LearningStrategy<D extends DataStructureFactory>