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

Fields

Modifier and Type	Field and Description
protected ILits	lits

Constructor Summary

Constructors

Constructor and Description
LimitedLearning()

Method Summary

Methods

Modifier and Type	Method and Description
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>